Sciweavers

4524 search results - page 620 / 905
» The Complexity of Global Constraints
Sort
View
CODES
2005
IEEE
16 years 1 months ago
Retargetable generation of TLM bus interfaces for MP-SoC platforms
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...
Andreas Wieferink, Rainer Leupers, Gerd Ascheid, H...
197
Voted
CSB
2005
IEEE
133views Bioinformatics» more  CSB 2005»
16 years 1 months ago
Creating a Protein Ontology Resource
Protein Data Integration approaches at the moment considers data sources as data repositories, but not as applications; which in turn may embody complex interactions with other da...
Amandeep S. Sidhu, Tharam S. Dillon, Elizabeth Cha...
SMI
2005
IEEE
100views Image Analysis» more  SMI 2005»
16 years 1 months ago
Robust Particle Systems for Curvature Dependent Sampling of Implicit Surfaces
Recent research on point-based surface representations suggests that point sets may be a viable alternative to parametric surface representations in applications where the topolog...
Miriah D. Meyer, Pierre Georgel, Ross T. Whitaker
CP
2005
Springer
16 years 1 months ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus
212
Voted
JIT
2005
Springer
115views Database» more  JIT 2005»
16 years 29 days ago
Dynamic Aspect Weaver Family for Family-based Adaptable Systems
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
Wasif Gilani, Olaf Spinczyk