198 search results - page 40 / 40 » Recovering Software Specifications with Inductive Logic Prog... |
130
Voted
FCCM
2004
IEEE
15 years 6 months ago
2004
IEEE
Reconfigurable System-on-Chip (SoC) platforms that incorporate hard-core processors surrounded by large amounts of FPGA are today commodities: the reconfigurable logic is often us...
134
Voted
MICRO
2010
IEEE
15 years 20 days ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
149
Voted
JAIR
2006
15 years 2 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...