Sciweavers

5066 search results - page 495 / 1014
» Spectra of structures and relations
Sort
View
ISSTA
2006
ACM
16 years 25 days ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
210
Voted
APLAS
2005
ACM
16 years 13 days 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»
16 years 13 days 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
199
Voted
XIMEP
2005
ACM
174views Database» more  XIMEP 2005»
16 years 12 days 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
169
Voted
GCB
2005
Springer
98views Biometrics» more  GCB 2005»
16 years 11 days 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...