2703 search results - page 218 / 541 » Working Class Hero |
110
Voted
TOOLS
1992
IEEE
15 years 8 months ago
1992
IEEE
The notion of location of part objects is introduced, yielding a reference to the containing object. Combined with locally defined objects and classes (block structure), singularl...
128
Voted
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
126
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Are self-healing database-centric multitier services utopia or just a hard puzzle? We argue for the latter and aim to identify the missing pieces of this puzzle. We advocate robus...
111
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
142
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...