585 search results - page 49 / 117 » Better Abstractions for Timed Automata |
127
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
118
click to vote
WEA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider how to maintain the topological order of a directed acyclic graph (DAG) in the presence of edge insertions and deletions. We present a new algorithm and, alth...
105
click to vote
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We describe a parallel Fortran 77 implementation, in ScaLAPACK style, of a block matrix 1-norm estimator of Higham and Tisseur. This estimator differs from that underlyi...
120
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Flash memory is a good candidate for the storage device in real-time systems due to its non-fluctuating performance, low power consumption and high shock resistance. Ho...
132
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract– This paper presents an improved topological algorithm for device-level analog placement with symmetry constraints. Based on the exploration of symmetric-feasible sequen...