1940 search results - page 354 / 388 » Dependable Software: An Oxymoron |
198
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...
176
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
169
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
184
click to vote
LCPC
2000
Springer
15 years 9 months ago
2000
Springer
This paper proposes a simple and efficient implementation method for a hierarchical coarse grain task parallel processing scheme on a SMP machine. OSCAR multigrain parallelizing c...
168
click to vote
GI
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...