1123 search results - page 35 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
142
click to vote
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
Scientific applications like neuroscience data analysis are usually compute and data-intensive. With the use of the additional capacity offered by distributed resources and suitab...
109
Voted
ICIAP
1999
ACM
15 years 6 months ago
1999
ACM
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
92
Voted
DSVIS
1995
Springer
15 years 6 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
112
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
135
Voted
CCGRID
2009
IEEE
15 years 9 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...