338 search results - page 17 / 68 » Safety Methods in Software Process Improvement |
EDOC
2003
IEEE
14 years 2 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
ISQED
2002
IEEE
14 years 1 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...