345 search results - page 45 / 69 » Computer-Assisted Simulation Proofs |
131
click to vote
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
126
click to vote
ECCC
2008
15 years 2 months ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
114
click to vote
MOBISYS
2003
ACM
16 years 2 months ago
2003
ACM
In this paper, we present a middleware architecture for coordination services in sensor networks that facilitates interaction between groups of sensors which monitor different env...
112
Voted
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
101
click to vote
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a significant reliability concern in present day digital circuit design. With continued scaling, th...