3031 search results - page 531 / 607 » Virtual development center |
131
click to vote
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
The development and implementation of new network protocols and applications need accurate, scalable, reconfigurable, and inexpensive tools for debugging, testing, performance tun...
142
click to vote
VISUALIZATION
2002
IEEE
15 years 8 months ago
2002
IEEE
Interactive visualization of large digital elevation models is of continuing interest in scientific visualization, GIS, and virtual reality applications. Taking advantage of the r...
164
click to vote
HAID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Haptic data visualization is a growing research area. It conveys information using the sense of touch which can help visually impaired people or be useful when other moda...
119
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
117
click to vote
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
As the technology for high-speed networks has evolved over the last decade, the interconnection of commodity computers (e.g., PCs and workstations) at gigabit rates has become a re...