4604 search results - page 652 / 921 » Concurrency in Synchronous Systems |
NAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Object-based Storage Controller (OSC) plays a decisive role in the performance of the whole Object-based Storage Systems (OBSS). A new OSC based on switch fabric proposed in this ...
APN
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
104
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
97
Voted
CC
2007
Springer
15 years 7 months ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
93
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose a new method for test access and test scheduling in NoC-based system. It relies on a progressive reuse of the network resources for transporting test dat...