717 search results - page 15 / 144 » Kill-safe synchronization abstractions |
GSEM
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The paper examines the behaviour of a saturated multiprocessor system to which fully synchronous parallel jobs are submitted. In order to simplify the analysis, we assume...
CONCUR
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
WCNC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— A fundamental building block in distributed wireless sensor networks is time synchronization. Given resource constrained nature of sensor networks, traditional time syn...
LCR
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
CONCUR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...