4693 search results - page 587 / 939 » Verifying Hybrid Systems |
245
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
189
Voted
TLDI
2003
ACM
16 years 2 days ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
189
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
231
click to vote
ACSC
2000
IEEE
15 years 11 months ago
2000
IEEE
Information retrieval systems can be partitioned into two main classes: large-scale systems that make use of an inverted index or some other auxiliary data structure, intended for...
176
click to vote
ISCA
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper evaluates the tradeoffs involved in the design of the software-extended memory system of Alewife, a multiprocessor architecturethat implements coherentsharedmemorythrou...