442 search results - page 17 / 89 » A Flexible Generator Architecture for Improving Software Dep... |
103
click to vote
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
CSREAESA
2008
15 years 1 months ago
2008
In most advanced real-time control applications such as service robots, the tasks have different criticality, flexible timing constraints and variable execution time. For instance...
101
click to vote
CODES
2006
IEEE
15 years 1 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
ICDCS
1996
IEEE
15 years 3 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
123
click to vote
ICVS
2001
Springer
15 years 4 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...