4313 search results - page 169 / 863 » Using time travel to diagnose computer problems |
182
click to vote
FM
2003
Springer
16 years 8 days ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
166
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
149
click to vote
CII
2006
15 years 7 months ago
2006
Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for s...
144
click to vote
CONCUR
2005
Springer
16 years 18 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
273
click to vote
SIGCOMM
1998
ACM
15 years 11 months ago
1998
ACM
Several recent proposals for an “active networks” architecture advocate the placement of user-defined computation within the network as a key mechanism to enable a wide range...