5180 search results - page 90 / 1036 » Concurrency, Time, and Constraints |
123
click to vote
ITC
2000
IEEE
15 years 10 months ago
2000
IEEE
—This paper presents Algorithm-level REcomputing with Shifted Operands (ARESO), which is a new register transfer (RT) level time redundancy-based concurrent error detection (CED)...
180
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Recovery of traffic in connectionless pure IP networks has traditionally been handled by a full re-convergence of the network state. This process operates in a time scal...
146
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
169
click to vote
ADBIS
2003
Springer
15 years 11 months ago
2003
Springer
Data mining queries are often submitted concurrently to the data mining system. The data mining system should take advantage of overlapping of the mined datasets. In this paper we ...
192
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...