1163 search results - page 113 / 233 » Case Studies of Model Checking for Embedded System Designs |
136
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
152
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
152
click to vote
SPAA
2004
ACM
15 years 10 months ago
2004
ACM
Given a general graph G, a fundamental problem is to find a spanning tree H that best approximates G by some measure. Often this measure is some combination of the congestion and...
160
click to vote
SAMOS
2010
Springer
15 years 2 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
118
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...