1163 search results - page 177 / 233 » Case Studies of Model Checking for Embedded System Designs |
139
click to vote
MAM
2002
15 years 3 months ago
2002
DSP software development has been tied down by extreme computational requirements. Furthermore, the DSP development tools available today are less advanced than in other embedded ...
117
click to vote
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
Many web-based systems have a tiered application architecture, in which a request needs to transverse all the tiers before finishing its processing. One of the most important QoS...
125
Voted
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
161
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
133
click to vote
DIS
2006
Springer
15 years 7 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...