60 search results - page 3 / 12 » Using a dataflow abstracted virtual prototype for HdS-design |
IV
2000
IEEE
13 years 10 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
VLDB
1987
ACM
13 years 9 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
POPL
2005
ACM
14 years 6 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
ICMCS
2005
IEEE
13 years 12 months ago
2005
IEEE
Traditional design and test of complex multimedia systems involves a large number of test vectors and is a difficult and time-consuming task. The simulation times are prohibitivel...
AUIC
2006
IEEE
14 years 9 days ago
2006
IEEE
The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awar...