278 search results - page 42 / 56 » A Framework for Counterexample Generation and Exploration |
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
Accelerating program performance via SIMD vector units is very common in modern processors, as evidenced by the use of SSE, MMX, VSE, and VSX SIMD instructions in multimedia, scien...
CGF
2007
13 years 8 months ago
2007
We introduce a GPU-friendly technique that efficiently exploits the highly structured nature of urban environments to ensure rendering quality and interactive performance of city...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Multi-Agent Reinforcement Learning (MARL) algorithms suffer from slow convergence and even divergence, especially in largescale systems. In this work, we develop an organization-b...
SI3D
2005
ACM
14 years 2 months ago
2005
ACM
So far extending light field rendering to dynamic scenes has been trivially treated as the rendering of static light fields stacked in time. This type of approaches requires inp...