1528 search results - page 115 / 306 » Performance Assertion Checking |
112
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
141
click to vote
DLOG
2011
14 years 5 months ago
2011
We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption ch...
119
click to vote
SBACPAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Code Compression has been used to alleviate the memory requirements as well as to improve performance and/or minimize energy consumption. On the other hand, implementing security ...
126
click to vote
AOSD
2004
ACM
15 years 7 months ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
147
Voted
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...