64 search results - page 5 / 13 » On the Properties of System-Wide Responsive Behavior |
ICALP
1992
Springer
15 years 3 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
78
Voted
BC
1998
14 years 11 months ago
1998
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
110
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
CCR
2006
14 years 11 months ago
2006
In this paper, we propose Layered TCP (LTCP for short), a set of simple modifications to the congestion window response of TCP to make it more scalable in highspeed networks. LTCP...
112
click to vote
DAGSTUHL
1997
15 years 29 days ago
1997
Interactive rendering of large data sets requires fast algorithms and rapid hardware acceleration. Both can be improved, but none of this ensures interactive response times. If a ...