7557 search results - page 232 / 1512 » Modeling Timed Concurrent Systems |
165
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
179
click to vote
ICTAC
2005
Springer
16 years 1 days ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
258
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
184
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
158
click to vote
WOTUG
2007
15 years 7 months ago
2007
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...