1163 search results - page 58 / 233 » Case Studies of Model Checking for Embedded System Designs |
126
click to vote
JUCS
2010
2010
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
15 years 2 months ago
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
135
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
142
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
123
Voted
PDC
2004
ACM
15 years 9 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
139
click to vote
STTT
2011
14 years 11 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...