1163 search results - page 196 / 233 » Case Studies of Model Checking for Embedded System Designs |
146
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Cluster computing has emerged as a new paradigm for solving large-scale problems. To enhance QoS and provide performance guarantees in cluster computing environments, various real...
137
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems technologies and advances in micro electronics have accelerated the evolution of driver assistance systems towards more driving safety, comfort, entertainment and...
122
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
109
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
209
click to vote
ICTAC
2010
Springer
15 years 13 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...