142 search results - page 25 / 29 » A Small Framework for Proof Checking |
109
Voted
PLDI
2011
ACM
14 years 8 days ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
92
Voted
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
GI
2004
Springer
15 years 2 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
PLDI
2000
ACM
15 years 1 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
Anomaly detection is an important data mining task. Most existing methods treat anomalies as inconsistencies and spend the majority amount of time on modeling normal instances. A r...