36320 search results - page 346 / 7264 » From Code to Models |
169
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
For state estimation over a communication network, efficiency and reliability of the network are critical issues. The presence of packet dropping and communication delay can great...
174
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
211
click to vote
RSP
2006
IEEE
16 years 21 days ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
197
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...
171
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...