3521 search results - page 305 / 705 » Algorithmic Control in Concurrent Computations |
163
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
183
click to vote
CL
2007
Springer
15 years 5 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...
182
click to vote
PPOPP
2011
ACM
14 years 8 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
147
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Data delivery is a major function of sensor network applications. Many applications, such as military surveillance, require the detection of interested events to be reported to ...
146
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Topology Control (TC) is a well-studied technique used in wireless ad hoc networks to find energy-efficient and/or low-interference subgraphs of the maxpower communication graph....