13041 search results - page 207 / 2609 » Simulating space and time |
140
click to vote
HYBRID
1999
Springer
15 years 9 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
128
click to vote
WSC
2008
15 years 7 months ago
2008
Long cycle times in semiconductor manufacuring represent an increasing challenge for the industry and lead to a growing need of break-through approaches to reduce it. Small lot si...
158
click to vote
WADS
2009
Springer
15 years 11 months ago
2009
Springer
The time required for a sequence of operations on a data structure is usually measured in terms of the worst possible such sequence. This, however, is often an overestimate of the ...
136
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
142
click to vote
COMPGEOM
1999
ACM
15 years 9 months ago
1999
ACM
We propose a speed-up method for discrete-event simulations, including sweep-line or -plane techniques, requiring the repeated calculation of the times at which certain discrete e...