1156 search results - page 143 / 232 » The PENG System: Practice and Experience |
111
click to vote
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
108
click to vote
AGILEDC
2003
IEEE
15 years 5 months ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...
69
Voted
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
A long-standing research problem in computer graphics is to reproduce the visual experience of walking through a large photorealistic environment interactively. On one hand, tradi...
97
Voted
WACC
1999
ACM
15 years 4 months ago
1999
ACM
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...
ICDCS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we examine the problem of balancing load in a large-scale distributed system when information about server loads may be stale. It is well known that sending each req...