4604 search results - page 821 / 921 » Concurrency in Synchronous Systems |
DSN
2009
IEEE
14 years 9 days ago
2009
IEEE
As more and more multi-tier services are developed from commercial components or heterogeneous middleware without the source code available, both developers and administrators nee...
APN
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
SGP
2007
13 years 11 months ago
2007
Reconstruction of surfaces from huge collections of scanned points often requires out-of-core techniques, and most such techniques involve local computations that are not resilien...
AIPS
2008
13 years 11 months ago
2008
We present a planner for the Combat Power Management (CPM) problem. In response to multiple simultaneous or sequential threats, the planner generates a set of local plans, one for...
DAC
2005
ACM
13 years 11 months ago
2005
ACM
Microfluidic biochips promise to revolutionize biosensing and clinical diagnostics. As more bioassays are executed concurrently on a biochip, system integration and design complex...