2251 search results - page 329 / 451 » Specification and Implementation Problems for C |
132
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
Hardware signatures have been recently proposed as an efficient mechanism to detect conflicts amongst concurrently running transactions in transactional memory systems (e.g., Bulk...
135
click to vote
JSC
2010
15 years 3 months ago
2010
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...
166
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
140
click to vote
PLDI
1996
ACM
15 years 9 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
181
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: We describe Distill, a suite of servers for the prediction of protein structural features: secondary structure; relative solvent accessibility; contact density; backbo...