3082 search results - page 423 / 617 » its 2004 |
173
Voted
LATIN
2004
Springer
16 years 7 days ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
213
Voted
LATIN
2004
Springer
16 years 7 days ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
198
click to vote
LATIN
2004
Springer
16 years 7 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
195
click to vote
LCPC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is ass...
201
click to vote
LCPC
2004
Springer
16 years 7 days ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...