Sciweavers

3082 search results - page 230 / 617
» its 2004
Sort
View
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
15 years 12 months ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
15 years 12 months ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
MWCN
2004
Springer
15 years 12 months ago
Analyzing the Energy Consumption of IEEE 802.11 Ad Hoc Networks
This paper analyzes the energy consumption of ad hoc nodes using IEEE 802.11 interfaces. Our objective is to provide theoretical limits on the lifetime gains that can be achieved b...
Daniel de Oliveira Cunha, Luís Henrique Mac...
NIME
2004
Springer
79views Music» more  NIME 2004»
15 years 12 months ago
A Survey of Real-Time MIDI Performance
Although MIDI is often used for computer-based interactive music applications, its real-time performance is rarely quantified, despite concerns about whether it is capable of ade...
Mark J. Nelson, Belinda Thom
NMR
2004
Springer
15 years 12 months ago
The structural model interpretation of the NESS test
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
Richard A. Baldwin, Eric Neufeld