1264 search results - page 211 / 253 » Designing Safe, Reliable Systems using Scade |
125
click to vote
MOBISYS
2008
ACM
16 years 1 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
118
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
120
Voted
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
125
Voted
TC
2011
14 years 8 months ago
2011
—CMOS scaling has long been a source of dramatic performance gains. However, semiconductor feature size reduction has resulted in increasing levels of operating temperatures and ...
148
Voted
CLEF
2010
Springer
14 years 10 months ago
2010
Springer
Recent years have seen a growing interest in research into patent retrieval. One of the key issues in conducting information retrieval (IR) research is meaningful evaluation of the...