1809 search results - page 185 / 362 » Software Model Checking Using Linear Constraints |
112
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
189
Voted
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
An optimization query asks for one or more data objects that maximize or minimize some function over the data set. We propose a general class of queries, model-based optimization ...
141
Voted
CSCLP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
73
Voted
GRAPHICSINTERFACE
2003
15 years 3 months ago
2003
In this paper we present our initial work on simulating suture and suturing using mass-spring models. Various models for simulating suture were studied, and a simple linear mass-s...
112
Voted
IUI
2003
ACM
15 years 7 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...