4320 search results - page 544 / 864 » Functional Objects |
232
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
177
click to vote
ICAC
2005
IEEE
16 years 8 days ago
2005
IEEE
An important problem in resource management for networked resource-sharing systems is the simultaneous allocation of multiple resources to an application. Selfoptimizing systems m...
179
click to vote
ISCAS
2005
IEEE
16 years 8 days ago
2005
IEEE
—Automatic white balance is an important function of digital still cameras. The goal of white balance is to adjust the image such that it looks as if it is taken under canonical ...
179
click to vote
AUSAI
2005
Springer
16 years 6 days ago
2005
Springer
This paper deals with the load-balancing of machines in a real-world job-shop scheduling problem, with identical machines. The load-balancing algorithm allocates jobs, split into l...
151
click to vote
BERTINORO
2005
Springer
16 years 6 days ago
2005
Springer
We propose a new paradigm for software availability enhancement. We offer a two-step strategy: Failure prediction followed by maintenance actions with the objective of avoiding imp...