6978 search results - page 1179 / 1396 » On Proofs in System P |
CASES
2001
ACM
14 years 2 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
ICMI
2000
Springer
14 years 2 months ago
2000
Springer
The trend toward pervasive computing necessitates finding and implementing appropriate ways for users to interact with devices. We believe the future of interaction with pervasive ...
IWMM
2000
Springer
14 years 2 months ago
2000
Springer
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for...
ASPDAC
1995
ACM
14 years 2 months ago
1995
ACM
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...
ATAL
2008
Springer
14 years 22 days ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...