2067 search results - page 362 / 414 » Logics of propositional control |
140
click to vote
MICRO
2006
IEEE
16 years 9 days ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
152
click to vote
ANCS
2006
ACM
16 years 8 days ago
2006
ACM
Clos networks are an important class of switching networks due to their modular structure and much lower cost compared with crossbars. For routing I/O permutations of Clos network...
146
click to vote
ELPUB
2006
ACM
16 years 7 days ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
157
click to vote
NETGAMES
2006
ACM
16 years 7 days ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
144
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...