Sciweavers

1757 search results - page 179 / 352
» Alternating Refinement Relations
Sort
View
132
Voted
FTEDA
2007
78views more  FTEDA 2007»
15 years 3 months ago
Design Automation of Real-Life Asynchronous Devices and Systems
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
Alexander Taubin, Jordi Cortadella, Luciano Lavagn...
118
Voted
ALGORITHMICA
2005
76views more  ALGORITHMICA 2005»
15 years 3 months ago
Characterizing History Independent Data Structures
We consider history independent data structures as proposed for study by Naor and Teague [3]. In a history independent data structure, nothing can be learned from the memory repre...
Jason D. Hartline, Edwin S. Hong, Alexander E. Moh...
SYNTHESE
2008
90views more  SYNTHESE 2008»
15 years 3 months ago
The modular structure of physical theories
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
Olivier Darrigol
138
Voted
CAD
2005
Springer
15 years 3 months ago
Drawing curves onto a cloud of points for point-based modelling
Point-based geometric models are gaining popularity in both the computer graphics and CAD fields. A related design/modelling problem is the focus of the reported research: drawing...
Phillip N. Azariadis, Nickolas S. Sapidis
TSP
2008
100views more  TSP 2008»
15 years 3 months ago
Geographic Gossip: Efficient Averaging for Sensor Networks
Gossip algorithms for distributed computation are attractive due to their simplicity, distributed nature, and robustness in noisy and uncertain environments. However, using standa...
Alexandros G. Dimakis, Anand D. Sarwate, Martin J....