742 search results - page 21 / 149 » Set-based Concurrent Engineering |
106
click to vote
SCAM
2007
IEEE
15 years 3 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
72
Voted
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
CONCURRENCY
2008
14 years 9 months ago
2008
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...