143 search results - page 10 / 29 » Game Engineering for a Multiprocessor Architecture |
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
MSE
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents the study of running several core multimedia applications on a simultaneous multithreading (SMT) architecture and derives design principles for multimedia soft...
FLAIRS
2008
13 years 11 months ago
2008
Real-time 3D game environments provide a compelling medium for cinematic storytelling. Professional filmmakers have started using them for pre-visualization. They provide a low-co...
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...