6978 search results - page 1109 / 1396 » On Proofs in System P |
207
Voted
ATAL
2007
Springer
16 years 1 months 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...
199
Voted
CCGRID
2006
IEEE
16 years 1 months 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...
179
Voted
CODES
2006
IEEE
16 years 1 months 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...
201
click to vote
FCCM
2006
IEEE
16 years 1 months 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...
203
Voted
GLOBECOM
2006
IEEE
16 years 1 months 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...