2218 search results - page 258 / 444 » Testing Expressibility Is Hard |
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
RTCSA
2003
IEEE
14 years 2 months ago
2003
IEEE
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...
ICSM
2002
IEEE
14 years 2 months ago
2002
IEEE
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
VR
2002
IEEE
14 years 2 months ago
2002
IEEE
Virtual reality displays introduce spatial distortions that are very hard to correct because of the difficulty of precisely modelling the camera from the nodal point of each eye. ...
CPAIOR
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...