970 search results - page 149 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
IJES
2006
13 years 9 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
SPAA
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we consider the problem of routing packets to a single destination in a dynamically changing network, where both the network and the packet injections are under adve...
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...