1690 search results - page 315 / 338 » Algorithmic Properties of Millstream Systems |
147
Voted
BSDCON
2003
15 years 2 months ago
2003
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
131
click to vote
AAAI
1994
15 years 2 months ago
1994
Many AI problems can be modeled as constraint satisfaction problems (CSP), but many of them are actually dynamic: the set of constraints to consider evolves because of the environ...
110
Voted
ENTCS
2008
15 years 22 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
128
click to vote
IMAGING
2000
15 years 2 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...
100
Voted
AAAI
1993
15 years 2 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...