6960 search results - page 72 / 1392 » Continuity Analysis of Programs |
141
click to vote
SIAMADS
2010
15 years 27 days 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...
175
click to vote
TII
2010
15 years 26 days 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 ...
157
click to vote
CORR
2010
Springer
15 years 6 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...
183
click to vote
CORR
2011
Springer
15 years 1 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...
250
click to vote
SIGMOD
2005
ACM
16 years 6 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...