2976 search results - page 441 / 596 » On the bounded integer programming |
133
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
107
click to vote
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
116
Voted
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
108
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the clustering with diversity problem: given a set of colored points in a metric space, partition them into clusters such that each cluster has at least point...
101
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...