5707 search results - page 775 / 1142 » Symbolic Simulation - Techniques and Applications |
188
click to vote
VRST
2006
ACM
16 years 24 days ago
2006
ACM
Despite amazing advances in the visual quality of virtual environments, affordable-yet-effective self-motion simulation still poses a major challenge. Using a standard psychophysi...
207
Voted
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
174
Voted
CASES
2004
ACM
16 years 9 days ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
166
Voted
SC
2004
ACM
16 years 8 days ago
2004
ACM
—It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed...
145
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
Algorithmic tools for graphs of small treewidth are used to address questions in complexity theory. For both arithmetic and Boolean circuits, it is shown that any circuit of size ...