208 search results - page 24 / 42 » Highly dependable concurrent programming using design for ve... |
118
Voted
ICFP
2008
ACM
16 years 12 days ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
124
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Linkage Disequilibrium (LD) bin-tagging algorithms identify a reduced set of tag SNPs that can capture the genetic variation in a population without genotyping every s...
112
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
194
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Modern processors use branch target buffers (BTBs) to predict the target address of branches such that they can fetch ahead in the instruction stream increasing concurrency and pe...
107
Voted
MEMOCODE
2007
IEEE
15 years 6 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...