2870 search results - page 346 / 574 » Synchronization of multi-agent systems |
212
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
137
Voted
ASYNC
2000
IEEE
15 years 9 months ago
2000
IEEE
Self-timed systems often have to communicate with their environment through a clocked interface. For example, off-chip memory may require clocking and this can reduce the benefit...
153
click to vote
ISSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
157
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
144
click to vote
WCET
2007
15 years 6 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...