1686 search results - page 171 / 338 » Higher Order Deforestation |
136
click to vote
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
2007
IEEE
An important objective of wireless sensor networks (WSNs) is to reliably sense data about the environment in which they are deployed. Reliability in WSNs has been widely studied in...
142
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
146
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...
153
click to vote
CHES
2007
Springer
15 years 10 months ago
2007
Springer
It is shown that the amount of true randomness produced by the recently introduced Galois and Fibonacci ring oscillators can be evaluated experimentally by restarting the oscillato...
138
click to vote
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...