4604 search results - page 324 / 921 » Concurrency in Synchronous Systems |
267
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
181
click to vote
EURODAC
1990
IEEE
15 years 11 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
175
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
251
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
196
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...