1179 search results - page 20 / 236 » Modeling Time in Computing: A Taxonomy and a Comparative Sur... |
152
click to vote
ANOR
2002
15 years 6 months ago
2002
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
144
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a new passive model reduction algorithm based on the Laguerre expansion of the time response of interconnect networks. We derive expressions for the Laguerre coefficie...
158
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
: The MASC model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads. It supports a generalized associative style of parallel...
170
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
180
click to vote
DSN
2007
IEEE
16 years 28 days ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...