506 search results - page 71 / 102 » A case for an SC-preserving compiler |
178
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
SIGSOFT
2004
ACM
16 years 17 days ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
CHES
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. This paper presents a design-space exploration of an applicationspecific instruction-set processor (ASIP) for the computation of various cryptographic pairings over Barre...
107
click to vote
RECOMB
2006
Springer
16 years 4 days ago
2006
Springer
We have combined four different types of functional genomic data to create high coverage protein interaction networks for 11 microbes. Our integration algorithm naturally handles s...
111
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...