7557 search results - page 485 / 1512 » Modeling Timed Concurrent Systems |
176
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
192
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
180
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
186
click to vote
ICPADS
2005
IEEE
16 years 15 days ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
172
click to vote
ANSS
2003
IEEE
16 years 6 days ago
2003
IEEE
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...