1105 search results - page 158 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
96
Voted
CISSE
2007
Springer
15 years 8 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
121
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
121
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
139
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...
134
Voted
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...