4604 search results - page 651 / 921 » Concurrency in Synchronous Systems |
FM
2009
Springer
15 years 7 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
110
Voted
RE
2009
Springer
15 years 7 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
83
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We consider a wireless multiuser network where a number of source/destination pairs communicate concurrently over the same physical channel. A set of amplify-and-forward relay ...
79
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
118
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...