979 search results - page 115 / 196 » Automated Environment Generation for Software Model Checking |
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
ICTAI
2003
IEEE
14 years 2 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
ESCIENCE
2006
IEEE
2006
IEEE
CIMA Based Remote Instrument and Data Access: An Extension into the Australian e-Science Environment
14 years 3 months ago
The Common Instrument Middleware Architecture (CIMA) is being used as a core component of a portal based remote instrument access system being developed as an Australian e-Science...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
DSRT
2008
IEEE
13 years 10 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...