Sciweavers

9842 search results - page 22 / 1969
» Compositional timing analysis
Sort
View
153
Voted
SIGMOD
2009
ACM
139views Database» more  SIGMOD 2009»
15 years 10 months ago
Detecting and resolving unsound workflow views for correct provenance analysis
views abstract groups of tasks in a workflow into high level composite tasks, in order to reuse sub-workflows and facilitate provenance analysis. However, unless a view is careful...
Peng Sun, Ziyang Liu, Susan B. Davidson, Yi Chen
BMCBI
2006
142views more  BMCBI 2006»
14 years 9 months ago
PedGenie: an analysis approach for genetic association testing in extended pedigrees and genealogies of arbitrary size
Background: We present a general approach to perform association analyses in pedigrees of arbitrary size and structure, which also allows for a mixture of pedigree members and ind...
Kristina Allen-Brady, Jathine Wong, Nicola J. Camp
ICML
2005
IEEE
15 years 10 months ago
Exploiting syntactic, semantic and lexical regularities in language modeling via directed Markov random fields
We present a directed Markov random field (MRF) model that combines n-gram models, probabilistic context free grammars (PCFGs) and probabilistic latent semantic analysis (PLSA) fo...
Shaojun Wang, Shaomin Wang, Russell Greiner, Dale ...
SAC
2010
ACM
15 years 4 months ago
Performance analysis of FlexRay-based systems using real-time calculus, revisited
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
Devesh B. Chokshi, Purandar Bhaduri
CC
2005
Springer
153views System Software» more  CC 2005»
15 years 3 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen