2255 search results - page 287 / 451 » High Assurance Software Systems |
186
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
202
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present a novel system for monitoring a computer user’s posture and activities in front of the computer (e.g., reading, speaking on the phone, etc.) for self-re...
189
click to vote
LCTRTS
2004
Springer
16 years 1 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...
178
click to vote
LCTRTS
2001
Springer
16 years 4 days ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
225
click to vote
HOTOS
1999
IEEE
16 years 13 hour ago
1999
IEEE
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...