1540 search results - page 52 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
148
Voted
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
Utilization bounds for schedulability of aperiodic tasks are new in real-time scheduling literature. All aperiodic bounds known to date apply only to independent tasks. They eithe...
134
Voted
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
∗ As one type of stealthy and hard-to-detect attack, lowrate TCP-targeted DDoS attack can seriously throttle the throughput of normal TCP flows for a long time without being noti...
164
Voted
AIM
2002
15 years 3 months ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
128
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
132
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...