Sciweavers

5275 search results - page 803 / 1055
» Computing by observing
Sort
View
IPTPS
2003
Springer
15 years 12 months ago
PeerNet: Pushing Peer-to-Peer Down the Stack
- An unwritten principle of the Internet Protocol is that the IP address of a node also serves as its identifier. We observe that many scalability problems result from this princi...
Jakob Eriksson, Michalis Faloutsos, Srikanth V. Kr...
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 11 months ago
Properties of and improvements to time-domain dynamic thermal analysis algorithms
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
Xi Chen, Robert P. Dick, Li Shang
TAMC
2010
Springer
15 years 11 months ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret
ICCAD
2002
IEEE
98views Hardware» more  ICCAD 2002»
15 years 11 months ago
Efficient mixed-domain analysis of electrostatic MEMS
—We present efficient computational methods for scattered point and meshless analysis of electrostatic microelectromechanical systems (MEMS). Electrostatic MEM devices are govern...
Gang Li, Narayan R. Aluru
ICPPW
2002
IEEE
15 years 11 months ago
Statistical Analysis of Connectivity in Unidirectional Ad Hoc Networks
A unidirectional link exists in an ad-hoc network when a node B is within the transmission range of another node A while node A cannot directly hear node B. However, a reverse rou...
Venugopalan Ramasubramanian, Daniel Mossé