94 search results - page 12 / 19 » Extracting a Data Flow Analyser in Constructive Logic |
CAGD
2006
14 years 9 months ago
2006
This paper describes a comprehensive approach to construct quality meshes for implicit solvation models of biomolecular structures starting from atomic resolution data in the Prot...
WCE
2007
14 years 10 months ago
2007
—This paper proposes and uses multivariate methods as a tool to evaluate performances of the hardware of microcomputers using their performance data, speed and price. The evaluat...
166
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
69
Voted
IEEEPACT
2007
IEEE
15 years 3 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
68
Voted
ENTCS
2008
14 years 9 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...