4313 search results - page 137 / 863 » Using time travel to diagnose computer problems |
118
click to vote
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
144
click to vote
PDCN
2004
15 years 6 months ago
2004
A novel combination of emergent algorithmic methods, powerful computational platforms and supporting infrastructure is described. These complementary tools and technologies are us...
151
click to vote
MCS
2008
Springer
15 years 4 months ago
2008
Springer
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
129
click to vote
ATMOS
2010
15 years 3 months ago
2010
Today’s ride sharing services still mimic a better billboard. They list the offers and allow to search for the source and target city, sometimes enriched with radial search. So...
157
click to vote
ICS
2011
Tsinghua U.
14 years 8 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...