278 search results - page 42 / 56 » A Phase-Based Approach to Creating Highly Reliable Software |
118
click to vote
SDL
2007
15 years 21 days ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
LCPC
2009
Springer
15 years 3 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...
EUROMICRO
2009
IEEE
15 years 3 months ago
2009
IEEE
Grid computing is a research and development topic, currently getting much attention. As a result, new ideas as well as research and project results are being produced at a very h...
103
click to vote
BALT
2008
15 years 1 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...