Sciweavers

3991 search results - page 678 / 799
» Bounding homogeneous models
Sort
View
ASYNC
2002
IEEE
120views Hardware» more  ASYNC 2002»
14 years 1 months ago
Relative Timing Based Verification of Timed Circuits and Systems
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
Peter A. Beerel, Ken S. Stevens, Hoshik Kim
IV
2002
IEEE
124views Visualization» more  IV 2002»
14 years 29 days ago
Numerical Solving of Geometric Constraints
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
Samy Ait-Aoudia
SIGMOD
2010
ACM
187views Database» more  SIGMOD 2010»
14 years 26 days ago
PIQL: a performance insightful query language
Large-scale websites are increasingly moving from relational databases to distributed key-value stores for high request rate, low latency workloads. Often this move is motivated n...
Michael Armbrust, Stephen Tu, Armando Fox, Michael...
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
14 years 23 days ago
Robust stabilization of model-based uncertain singularly perturbed systems with networked time-delay
—In this paper, a robust stabilization of the uncertain singularly perturbed system via a networked state feedback with the transmission time-delay is addressed. Taking its nomin...
Zhiming Wang, Wei Liu, Haohui Dai, D. Subbaram Nai...
COMPGEOM
2009
ACM
14 years 22 days ago
The scale axis picture show
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
Joachim Giesen, Balint Miklos, Mark Pauly, Camille...