Sciweavers

11328 search results - page 146 / 2266
» Timed Branching Processes
Sort
View
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
15 years 7 months ago
Time Constrained Modulo Scheduling with Global Resource Sharing
Commonly used scheduling algorithms in high-level synthesis only accept one process at a time and are not capable of sharing resources across process boundaries. This results in t...
Christoph Jäschke, Rainer Laur, Friedrich Bec...
100
Voted
ICCD
2001
IEEE
77views Hardware» more  ICCD 2001»
16 years 12 days ago
Minimal Subset Evaluation: Rapid Warm-Up for Simulated Hardware State
This paper introduces minimal subset evaluation (MSE) as a way to reduce time spent on large-structure warm-up during the fastforwarding portion of processor simulations. Warm up ...
John W. Haskins Jr., Kevin Skadron
166
Voted
JELIA
1994
Springer
15 years 7 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
132
Voted
EOR
2008
110views more  EOR 2008»
15 years 3 months ago
Runway sequencing with holding patterns
We study a scheduling problem, motivated by air-traffic control, in which a set of aircrafts are about to land on a single runway. When coming close to the landing area of the air...
Konstantin Artiouchine, Philippe Baptiste, Christo...
SIGMETRICS
2006
ACM
121views Hardware» more  SIGMETRICS 2006»
15 years 9 months ago
Transient analysis of tree-Like processes and its application to random access systems
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
Jeroen Van Velthoven, Benny Van Houdt, Chris Blond...