4079 search results - page 623 / 816 » Differential Testing for Software |
143
click to vote
ISAAC
1995
Springer
15 years 7 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
124
click to vote
AIIDE
2008
15 years 6 months ago
2008
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
125
Voted
WSC
2007
15 years 6 months ago
2007
This study proposes a nurse allocation policy to manage patient overflow during a pandemic influenza outbreak. The objective is to minimize the number of patients waiting in queue...
117
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
128
Voted
CASCON
2008
15 years 5 months ago
2008
Netpal is a web-based dynamic knowledge base system designed to assist network administrators in their troubleshooting tasks, in recalling and storing experience, and in identifyi...