224 search results - page 27 / 45 » Globally Consistent Dynamic Reconfiguration |
CCS
1998
ACM
13 years 12 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
MONET
2006
13 years 7 months ago
2006
Wireless sensor networks consist of energy-constrained sensor nodes operating unattended in highly dynamic environments. In this paper, we advocate a systematic decentralized appro...
CG
2004
Springer
13 years 7 months ago
2004
Springer
In recent years point-based geometry has gained increasing attention as an alternative surface representation, both for efficient rendering and for flexible geometry processing of...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
— With increasing reliability concerns for current and next generation VLSI technologies, fault-tolerance is fast becoming an integral part of system-on-chip (SoC) and multicore ...
ICNP
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we propose an "on demand" multicast routing protocol for a wireless, mobile, multihop network. The proposed scheme has two key features: (a) it is based on...