1356 search results - page 215 / 272 » The ideal of verified software |
168
click to vote
IWNAS
2008
IEEE
16 years 17 days 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...
153
click to vote
RTAS
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
168
click to vote
RTSS
2008
IEEE
16 years 16 days ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
143
click to vote
GLVLSI
2007
IEEE
16 years 15 days ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
163
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...