7195 search results - page 705 / 1439 » On Computing Power |
176
click to vote
SI3D
1999
ACM
15 years 11 months ago
1999
ACM
The Virtual Table presents stereoscopic graphics to a user in a workbench-like setting. This paper reports on a user interface and new interaction techniques for the Virtual Table...
242
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
231
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
173
click to vote
FCT
1999
Springer
15 years 11 months ago
1999
Springer
One way of suggesting that an NP problem may not be NP-complete is to show that it is in the promise class UP. We propose an analogous new method—weaker in strength of evidence ...
149
click to vote
HPCN
1999
Springer
15 years 11 months ago
1999
Springer
We motivate and define the XSIL language as a flexible, hierarchical, extensible transport language for scientific data objects. The entire object may be represented in the file, o...