4604 search results - page 206 / 921 » Concurrency in Synchronous Systems |
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
168
click to vote
DSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Ultra low power digital systems are key for any future wireless sensor nodes but also inside nomadic embedded systems (such as inside the digital front end of software defined rad...
122
click to vote
RTSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present several locking synchronization protocols and associated schedulability conditions for Pfair-scheduled multiprocessor systems. We focus on two classes of protocols. The...
131
Voted
PDP
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper addresses the challenges and opportunities of instrumenting pervasive computing systems with a logical clock, aware of the quality of synchronization with respect to a t...
114
click to vote
SIPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Multiband orthogonal frequency-division multiplexing (MB-OFDM) systems employ frequencyhopping technology to achieve the capabilities of multiple access and frequency diversity. H...