Sciweavers

4961 search results - page 380 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
APLAS
2005
ACM
15 years 10 months ago
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
John Whaley, Dzintars Avots, Michael Carbin, Monic...
ISLPED
2005
ACM
88views Hardware» more  ISLPED 2005»
15 years 10 months ago
PARE: a power-aware hardware data prefetching engine
Aggressive hardware prefetching often significantly increases energy consumption in the memory system. Experiments show that a major fraction of prefetching related energy degrad...
Yao Guo, Mahmoud Ben Naser, Csaba Andras Moritz
XIMEP
2005
ACM
174views Database» more  XIMEP 2005»
15 years 10 months ago
NaXDB - Realizing Pipelined XQuery Processing in a Native XML Database System
Supporting queries and modifications on XML documents is a challenging task, and several related approaches exist. When implementing query and modification languages efficientl...
Jens Hündling, Jan Sievers, Mathias Weske
GCB
2005
Springer
98views Biometrics» more  GCB 2005»
15 years 10 months ago
Composite Module Analyst: A Fitness-Based Tool for Prediction of Transcription Regulation
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
Alexander E. Kel, Tatiana Konovalova, Tagir Valeev...
ICFCA
2005
Springer
15 years 10 months ago
On Computing the Minimal Generator Family for Concept Lattices and Icebergs
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
Kamal Nehmé, Petko Valtchev, Mohamed Rouane...