Sciweavers

2645 search results - page 37 / 529
» time 2003
Sort
View
ICLP
2003
Springer
14 years 3 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
ASAP
2003
IEEE
153views Hardware» more  ASAP 2003»
14 years 3 months ago
Hardware Synthesis for Multi-Dimensional Time
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
Anne-Claire Guillou, Patrice Quinton, Tanguy Risse...
RTSS
2003
IEEE
14 years 3 months ago
Periodic Resource Model for Compositional Real-Time Guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
Insik Shin, Insup Lee
DATE
2003
IEEE
90views Hardware» more  DATE 2003»
14 years 3 months ago
Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching
While fast timing analysis methods, such as asymptotic waveform evaluation (AWE), have been well established for linear circuits, the timing analysis for non-linear circuits, whic...
Zhong Wang, Jianwen Zhu
WECWIS
2003
IEEE
85views ECommerce» more  WECWIS 2003»
14 years 3 months ago
A Tractable Mechanism for Time Dependent Markets
Markets with time dependent goods are special cases of multi commodity markets.The design of large flexible markets with time dependent goods is a computational challenge. In thi...
Per Carlsson, Arne Andersson, Fredrik Ygge