7429 search results - page 684 / 1486 » Embedded System Update |
173
click to vote
TIME
2005
IEEE
16 years 29 days ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
241
click to vote
PLDI
2004
ACM
16 years 24 days ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
243
click to vote
GD
2004
Springer
16 years 23 days ago
2004
Springer
We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two prin...
169
click to vote
SAMOS
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. The focus of this work is on techniques that promise to reduce the message delivery latency in message passing environments, incuding clusters of workstations or SMPs. We...
173
click to vote
MSE
2003
IEEE
16 years 20 days ago
2003
IEEE
In this paper a review of development of manpower in VLSI in India is attempted. In the last decade of the 20th Century, rapid strides have been done in Micro-Electronics in India...