Sciweavers

281 search results - page 16 / 57
» heuristics 2000
Sort
View
IPPS
2000
IEEE
14 years 2 months ago
High Performance Parametric Modeling with Nimrod/G: Killer Application for the Global Grid?
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time ...
David Abramson, Jonathan Giddy, Lew Kotler
FGCS
2000
83views more  FGCS 2000»
13 years 9 months ago
A Graph-based Ant System and its convergence
: A general framework for solving combinatorial optimization problems heuristically by the Ant System approach is developed. The framework is based on the concept of a construction...
Walter J. Gutjahr
ASAP
2000
IEEE
142views Hardware» more  ASAP 2000»
14 years 2 months ago
Contention-Conscious Transaction Ordering in Embedded Multiprocessors
This paper explores the problem of efficiently ordering interprocessor communication operations in statically-scheduled multiprocessors for iterative dataflow graphs. In most digi...
Mukul Khandelia, Shuvra S. Bhattacharyya
ADG
2000
Springer
122views Mathematics» more  ADG 2000»
14 years 2 months ago
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
Hongbo Li, Yihong Wu
IPPS
2000
IEEE
14 years 2 months ago
S3MP: A Task Duplication Based Scalable Scheduling Algorithm for Symmetric Multiprocessors
We present a task duplication based scalable scheduling algorithm for Symmetric Multiprocessors (SMP), called S3MP (Scalable Scheduling for SMP), to address the problem of task sc...
Oh-Han Kang, Dharma P. Agrawal