This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Fri 13 of Dec, 2024 [12:33 UTC]
Menu

Category D.4.5 Reliability

Backup procedures Checkpoint/restart Fault-tolerance Verification
Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

search category: deep:

Show subcategories objects

..
 

Objects (1)

Article Program Invariants Generation over Polynomial Ring using Iterative Methods. Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted  

Page: 1/1
1  
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.24 secs ]   [ Memory usage: 9.07MB ]   [ GZIP Disabled ]   [ Server load: 0.60 ]