1797 search results - page 251 / 360 » Real-World Graphical User Interfaces |
125
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
116
click to vote
CBMS
2003
IEEE
15 years 8 months ago
2003
IEEE
An interactive tool for the segmentation, visualization and navigation of magnetic resonance (MR) images is presented. Previous work has shown the hierarchical self-organizing map...
135
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
Conventional ASIC designs are hard to be customized. Therefore DSP core-based ASIC design has potentially large payoff. This approach not only supports improved performance but al...
131
Voted
CCGRID
2002
IEEE
15 years 8 months ago
2002
IEEE
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...
123
Voted
KI
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...