18306 search results - page 184 / 3662 » Algorithmics in Exponential Time |
108
click to vote
TON
1998
15 years 1 months ago
1998
This paper describes the analysis, implementation and performance of a new algorithm engineered to discipline a computer clock to a source of standard time, such as a GPS receiver...
103
click to vote
BMAS
2000
IEEE
15 years 6 months ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth≤ k and, if so, outputs a branch decomposition of minimum width....
144
click to vote
FMOODS
2007
15 years 3 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
230
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
One-clock priced timed games is a class of two-player, zero-sum, continuous-time games that was defined and thoroughly studied in previous works. We show that One-clock priced ti...