2255 search results - page 396 / 451 » High Assurance Software Systems |
103
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
82
Voted
CC
2007
Springer
15 years 6 months ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
93
Voted
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
107
Voted
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
Analysis of existing ICT-based solutions for the education of long-term ill children reveal several weaknesses with respect to social and cooperative involvement, cost of developme...
88
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...