6608 search results - page 952 / 1322 » On the Completeness of Model Checking |
186
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
181
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
173
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
185
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
174
click to vote
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
Clustering of data has numerous applications and has been studied extensively. It is very important in Bioinformatics and data mining. Though many parallel algorithms have been des...