1342 search results - page 110 / 269 » MEMS Design And Verification |
173
click to vote
APGV
2006
ACM
15 years 8 months ago
2006
ACM
One of the most important, still unsolved problems in computer graphics is the generation of predictive imagery, i.e., images that represent perfect renditions of reality. Such pe...
158
click to vote
ISSA
2004
15 years 7 months ago
2004
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
142
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
178
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
176
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
With the advancement of MEMS technologies, wireless networks consist of tiny sensor devices hold the promise of revolutionizing sensing in a wide range of application domains becau...