7 search results - page 1 / 2 » A taxonomy of parallel strategies for deduction |
AMAI
2000
Springer
13 years 5 months ago
2000
Springer
PPAM
2001
Springer
13 years 9 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
SNPD
2007
13 years 6 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
ISPAN
2008
IEEE
13 years 11 months ago
2008
IEEE
Data prefetching has been considered an effective way to mask data access latency caused by cache misses and to bridge the performance gap between processor and memory. With hardw...
FOSSACS
2012
Springer
12 years 1 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...