Sciweavers

1712 search results - page 262 / 343
» Abstract Constraint Data Types
Sort
View
90
Voted
OOPSLA
2005
Springer
15 years 4 months ago
A delta-driven execution model for semantic computing
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
Roly Perera, Jeff Foster, György Koch
BILDMED
2009
143views Algorithms» more  BILDMED 2009»
15 years 7 days ago
Landmark Constrained Non-parametric Image Registration with Isotropic Tolerances
Abstract. The incorporation of additional user knowledge into a nonrigid registration process is a promising topic in modern registration schemes. The combination of intensity base...
Nils Papenberg, Janine Olesch, Thomas Lange, Peter...
GEOINFORMATICA
1998
125views more  GEOINFORMATICA 1998»
14 years 10 months ago
Computational Perspectives on Map Generalization
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
Robert Weibel, Christopher B. Jones
PLDI
2012
ACM
13 years 1 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
79
Voted
DATE
2010
IEEE
118views Hardware» more  DATE 2010»
14 years 9 months ago
Exploiting multiple switch libraries in topology synthesis of on-chip interconnection network
Abstract—On-chip interconnection network is a crucial design component in high-performance System-on-Chips (SoCs). Many of previous works have focused on the automation of its to...
Minje Jun, Sungroh Yoon, Eui-Young Chung