5333 search results - page 541 / 1067 » Optimizing Computer System Configurations |
183
Voted
SIAMSC
2008
15 years 6 months ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...
186
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
223
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
164
Voted
ANTSW
2004
Springer
16 years 3 days ago
2004
Springer
Designing an optimal overlay communication network for a set of processes on the Internet is a central problem of peer-to-peer (P2P) computing. Such a network defines membership a...
198
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...