Sciweavers

5457 search results - page 705 / 1092
» Clinical requirements engineering
Sort
View
EUROPAR
2008
Springer
15 years 8 months ago
Scheduling Intersection Queries in Term Partitioned Inverted Files
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...
Mauricio Marín, Carlos Gomez-Pantoja, Senen...
FMCAD
2008
Springer
15 years 8 months ago
A Write-Based Solver for SAT Modulo the Theory of Arrays
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
CIDR
2007
92views Algorithms» more  CIDR 2007»
15 years 8 months ago
Predicate-based Indexing of Enterprise Web Applications
Searching the Web has become a commodity. However, extending applications with search capabilities is still an open research topic [2]. Large enterprise applications such as SAP a...
Cristian Duda, David A. Graf, Donald Kossmann
CLA
2007
15 years 8 months ago
Precalculating Component Interface Compatibility using FCA
In component-based software engineering, software systems are built by assembling prefabricated reusable components. The compatibility between the assembled components is crucial. ...
Gabriela Arévalo, Nicolas Desnos, Marianne ...
FECS
2007
138views Education» more  FECS 2007»
15 years 8 months ago
Computing Branches Out: On Revitalizing Computing Education
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
Ljubomir Perkovic, Amber Settle