Sciweavers

6274 search results - page 917 / 1255
» Proofs, Programs, Processes
Sort
View
124
Voted
DATE
2002
IEEE
104views Hardware» more  DATE 2002»
15 years 8 months ago
A Compiler-Based Approach for Improving Intra-Iteration Data Reuse
Intra-iteration data reuse occurs when multiple array references exhibit data reuse in a single loop iteration. An optimizing compiler can exploit this reuse by clustering (in the...
Mahmut T. Kandemir
92
Voted
HICSS
2002
IEEE
95views Biometrics» more  HICSS 2002»
15 years 8 months ago
Simulation Spectrum and Stability Models
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
Christopher Landauer
134
Voted
ISSS
2002
IEEE
136views Hardware» more  ISSS 2002»
15 years 8 months ago
Combined Functional Partitioning and Communication Speed Selection for Networked Voltage-Scalable Processors
This paper presents a new technique for global energy optimization through coordinated functional partitioning and speed selection for embedded processors interconnected by a high...
Nader Bagherzadeh, Pai H. Chou, Jinfeng Liu
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 8 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
GECCO
2009
Springer
131views Optimization» more  GECCO 2009»
15 years 8 months ago
Rapid prototyping using evolutionary approaches: part 1
In this paper we describe a multi-objective problem solving approach, simultaneously minimizing average surface roughness Ra and build Time T, for object manufacturing by Rapid Pr...
Nikhil Padhye, Subodh Kalia