6978 search results - page 1109 / 1396 » On Proofs in System P |
181
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
171
click to vote
CCGRID
2006
IEEE
16 years 25 days ago
2006
IEEE
Advanced accelerator simulations have played a prominent role in the design and analysis of modern accelerators. Given that accelerator simulations are computational intensive and...
160
click to vote
CODES
2006
IEEE
16 years 25 days ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
186
click to vote
FCCM
2006
IEEE
16 years 25 days ago
2006
IEEE
Field-Programmable Gate Arrays (FPGAs) are being employed in high performance computing systems owing to their potential to accelerate a wide variety of long-running routines. Par...
184
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Effective and efficient management of wireless network resources is attracting more and more research attention, due to the rapid growing deployment of wireless mesh and ad hoc...