689 search results - page 38 / 138 » The multithreaded version of FORM |
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
The next version of XHTML is at work-in-progress stage in the World Wide Web Consortium. It adds a lot of features to the most used content language of the Web. The most notable ch...
DEXAW
1998
IEEE
14 years 2 days ago
1998
IEEE
Within a database mobile environment, cached data on mobile clients can take the form of materialized views. In order to e ciently maintain such materialized views while taking in...
ICCAD
1998
IEEE
14 years 2 days ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
CEC
2009
IEEE
13 years 11 months ago
2009
IEEE
Radio Frequency IDentification (RFID) technology is increasingly being used to uniquely identify objects. An important component of RFID systems is the design of the antenna - whic...