6960 search results - page 72 / 1392 » Continuity Analysis of Programs |
107
Voted
SIAMADS
2010
14 years 9 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
137
Voted
TII
2010
14 years 9 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
125
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
138
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Now a many organizations are required to communicate online on a daily basis, 24-hour, seven-days-a-week, to gain the desired competitive advantages and profits; although there are...
208
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...