4604 search results - page 667 / 921 » Concurrency in Synchronous Systems |
109
click to vote
ETS
2010
IEEE
15 years 1 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
94
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
105
Voted
SIGCOMM
2010
ACM
15 years 29 days ago
2010
ACM
Network virtualization promises to spur innovation and add flexibility to the Future Internet infrastructure. Routers supporting virtualization allow the deployment of concurrent ...
ECEASST
2008
15 years 25 days ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
101
click to vote
FMSD
2006
15 years 23 days ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...