850 search results - page 131 / 170 » Certification of System Architecture Dependability |
189
click to vote
ESWA
2008
15 years 4 months ago
2008
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
156
click to vote
ASPLOS
2006
ACM
15 years 12 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
150
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
134
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
155
click to vote
MICRO
2006
IEEE
15 years 12 months ago
2006
IEEE
As the industry moves toward larger-scale chip multiprocessors, the need to parallelize applications grows. High inter-thread communication delays, exacerbated by over-stressed hi...