6834 search results - page 1225 / 1367 » The Fail-Heterogeneous Architectural Model |
174
click to vote
WAPCV
2007
Springer
16 years 16 days ago
2007
Springer
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...
158
click to vote
CODES
2005
IEEE
16 years 1 days ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
137
click to vote
GRAPHITE
2005
ACM
15 years 12 months ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...
158
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
171
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...