Sciweavers

5159 search results - page 236 / 1032
» Structural Testing of Executables
Sort
View
196
Voted
EUC
2008
Springer
15 years 8 months ago
Performance Comparison of Techniques on Static Path Analysis of WCET
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge...
ENTCS
2007
116views more  ENTCS 2007»
15 years 7 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ENC
2005
IEEE
16 years 20 days ago
Combining Structural and Textual Contexts for Compressing Semistructured Databases
We describe a compression technique for semistructured documents, called SCMPPM, which combines the Prediction by Partial Matching technique with Structural Contexts Model (SCM) t...
Joaquín Adiego, Pablo de la Fuente, Gonzalo...
NIPS
2004
15 years 8 months ago
Pictorial Structures for Molecular Modeling: Interpreting Density Maps
X-ray crystallography is currently the most common way protein structures are elucidated. One of the most time-consuming steps in the crystallographic process is interpretation of...
Frank DiMaio, Jude W. Shavlik, George N. Phillips
IPM
2010
174views more  IPM 2010»
15 years 4 months ago
Managing structured queries in probabilistic XML retrieval systems
Focusing on the context of XML retrieval, in this paper we propose a general methodology for managing structured queries (involving both content and structure) within any given st...
Luis M. de Campos, Juan M. Fernández-Luna, ...