1652 search results - page 130 / 331 » A performance analysis of local synchronization |
165
Voted
ALGOSENSORS
2007
Springer
15 years 10 months ago
2007
Springer
Scalable energy-efficient training protocols are proposed for massively-deployed sensor networks, where sensors are initially anonymous and unaware of their location. The protocol...
141
click to vote
ASAP
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper explores the problem of efficiently ordering interprocessor communication operations in statically-scheduled multiprocessors for iterative dataflow graphs. In most digi...
146
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
147
Voted
SUTC
2008
IEEE
15 years 11 months ago
2008
IEEE
With the availability of low-cost sensor nodes there have been many standards developed to integrate and network these nodes to form a reliable network allowing many different typ...
175
Voted
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...