3105 search results - page 494 / 621 » The Path-Packing Structure of Graphs |
189
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
159
click to vote
IWPC
2006
IEEE
16 years 13 days ago
2006
IEEE
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
154
click to vote
MICRO
2006
IEEE
16 years 13 days ago
2006
IEEE
VLIW and EDGE (Explicit Data Graph Execution) architectures rely on compilers to form high-quality hyperblocks for good performance. These compilers typically perform hyperblock f...
142
click to vote
ACIVS
2006
Springer
16 years 12 days ago
2006
Springer
Abstract. This article presents a new algorithm for spatial deinterlacing that could easily be integrated in a more complete deinterlacing system, typically a spatio-temporal motio...
140
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...