6960 search results - page 240 / 1392 » Continuity Analysis of Programs |
111
Voted
SIGPLAN
2008
15 years 3 months ago
2008
Depending on individual department goals, undergraduate computer science educators teach theoretical concepts and skills with varying priorities on preparing students for continui...
256
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
150
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
109
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
128
click to vote
WSC
2004
15 years 5 months ago
2004
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...