523 search results - page 47 / 105 » On the Signal Bounding Problem in Timing Analysis |
112
click to vote
FTEDA
2007
15 years 1 months ago
2007
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...
101
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
117
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
114
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— We consider a scenario where a wireless sensor network is formed by randomly deploying n sensors to measure some spatial function over a field, with the objective of computing...
161
click to vote
CPAIOR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...