3256 search results - page 188 / 652 » Applications of Formal Methods to System Design and Verifica... |
170
click to vote
WSCG
2000
15 years 7 months ago
2000
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...
204
click to vote
SFM
2005
Springer
15 years 12 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
160
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
A new method, namely the Parallel Two-Level Hybrid (PTH) method, is developed to solve tridiagonal systems on parallel computers. PTH is designed based on Parallel Diagonal Domina...
138
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
154
click to vote
I3
2007
15 years 7 months ago
2007
Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retri...