5900 search results - page 63 / 1180 » Dependable Systems |
119
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
133
click to vote
FTCS
1997
15 years 5 months ago
1997
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
208
click to vote
ACL
2010
15 years 2 months ago
2010
Finding a class of structures that is rich enough for adequate linguistic representation yet restricted enough for efficient computational processing is an important problem for d...
146
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
224
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
A reparable database management system has the ability to automatically undo the set of transactions that are corrupted by a human error or malicious attack. The key technical chal...