Sciweavers

2106 search results - page 236 / 422
» Specifying C concepts
Sort
View
115
Voted
MICRO
1996
IEEE
106views Hardware» more  MICRO 1996»
15 years 7 months ago
Optimization of Machine Descriptions for Efficient Use
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
John C. Gyllenhaal, Wen-mei W. Hwu, B. Ramakrishna...
135
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
123
Voted
IFL
1997
Springer
15 years 7 months ago
WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations
This paper introduces a new compiler optimization called with-loop-folding. It is based on a special loop construct, the withloop, which in the functional language Sac (for Single ...
Sven-Bodo Scholz
120
Voted
PVM
1997
Springer
15 years 7 months ago
Performance of CAP-Specified Linear Algebra Algorithms
The traditional approach to the parallelization of linear algebra algorithms such as matrix multiplication and LU factorization calls for static allocation of matrix blocks to proc...
Marc Mazzariol, Benoit A. Gennart, Vincent Messerl...
ICRA
1994
IEEE
100views Robotics» more  ICRA 1994»
15 years 7 months ago
SM2 for New Space Station Structure: Autonomous Locomotion and Teleoperation Control
The Self-Mobile Space Manipulator (SM2) has evolved to adapt to the new pre-integrated I-beam structure of the Space Station Freedom (SSF). In this paper, we first briefly overvie...
Michael C. Nechyba, Yangsheng Xu