Sciweavers

16404 search results - page 2667 / 3281
» A set coverage problem
Sort
View
IPPS
1996
IEEE
15 years 11 months ago
Maximizing Speedup through Self-Tuning of Processor Allocation
We address the problem of maximizing application speedup through runtime, self-selection of an appropriate number of processors on which to run. Automatic, runtime selection of pr...
Thu D. Nguyen, Raj Vaswani, John Zahorjan
ECP
1997
Springer
105views Robotics» more  ECP 1997»
15 years 11 months ago
Planning, Learning, and Executing in Autonomous Systems
Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of action...
Ramón García-Martínez, Daniel...
RTSS
1996
IEEE
15 years 11 months ago
Middleware for Distributed Industrial Real-Time Systems on ATM Networks
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
Ichiro Mizunuma, Chia Shen, Morikazu Takegaki
FPGA
1997
ACM
145views FPGA» more  FPGA 1997»
15 years 11 months ago
Generation of Synthetic Sequential Benchmark Circuits
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
ICLP
1997
Springer
15 years 11 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
« Prev « First page 2667 / 3281 Last » Next »