Sciweavers

1705 search results - page 272 / 341
» Representing Constraints with Automata
Sort
View
110
Voted
ISLPED
1999
ACM
91views Hardware» more  ISLPED 1999»
15 years 5 months ago
Stochastic modeling of a power-managed system: construction and optimization
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
Qinru Qiu, Qing Wu, Massoud Pedram
127
Voted
ISPD
1999
ACM
95views Hardware» more  ISPD 1999»
15 years 5 months ago
Incremental capacitance extraction and its application to iterative timing-driven detailed routing
In this paper, we consider delay optimization in multilayer detailed routing. Given a detailed routing by some detailed router, we iteratively improve the delays of critical nets ...
Yanhong Yuan, Prithviraj Banerjee
RTAS
1999
IEEE
15 years 5 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
ICCVW
1999
Springer
15 years 5 months ago
Uncertainty Modeling for Optimal Structure from Motion
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...
Daniel D. Morris, Ken-ichi Kanatani, Takeo Kanade
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 5 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David