1123 search results - page 12 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
120
click to vote
EUROMICRO
1999
IEEE
15 years 4 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
123
click to vote
DOLAP
2006
ACM
15 years 5 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
104
click to vote
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
WSC
2000
15 years 1 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...