718 search results - page 116 / 144 » Extraction of Structured Programs from Specification Proofs |
102
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
126
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
129
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Tissue MicroArray technology aims to perform immunohistochemical staining on hundreds of different tissue samples simultaneously. It allows faster analysis, considerab...
144
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Profile-based analysis of multiple sequence alignments (MSA) allows for accurate comparison of protein families. Here, we address the problems of detecting statistical...
108
click to vote
HPCA
2007
IEEE
16 years 2 months ago
2007
IEEE
Task-selection policies are critical to the performance of any architecture that uses speculation to extract parallel tasks from a sequential thread. This paper demonstrates that ...