3771 search results - page 681 / 755 » Subobject Transformation Systems |
165
click to vote
LCTRTS
2007
Springer
16 years 9 days ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
190
click to vote
LFCS
2007
Springer
16 years 9 days ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
173
click to vote
SRDS
2006
IEEE
16 years 5 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
151
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
181
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...