1163 search results - page 116 / 233 » Case Studies of Model Checking for Embedded System Designs |
159
click to vote
ASWSD
2004
Springer
15 years 10 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
168
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
187
click to vote
ESE
2006
15 years 4 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
149
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
132
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
The general purpose processor has long been the focus of intense optimization efforts that have resulted in an impressive doubling of performance every 18 months. However, recent ...