Sciweavers

3856 search results - page 441 / 772
» Models for Automated Earthmoving
Sort
View
GIS
2009
ACM
16 years 7 months ago
A Parallel Plane Sweep Algorithm for Multi-Core Systems
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
Mark McKenney, Tynan McGuire
DAC
1998
ACM
16 years 7 months ago
Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
Gustavo de Veciana, Margarida F. Jacome, J.-H. Guo
DAC
1999
ACM
16 years 7 months ago
Converting a 64b PowerPC Processor from CMOS Bulk to SOI Technology
A 550MHz 64b PowerPC processor was developed for fabrication in Silicon-On-Insulator (SOI) technology from a processor previously designed and fabricated in bulk CMOS [1]. Both th...
D. Allen, D. Behrends, B. Stanisic
DAC
1999
ACM
16 years 7 months ago
Representation of Function Variants for Embedded System Optimization and Synthesis
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
Dirk Ziegenbein, Jürgen Teich, Kai Richter, L...
DAC
2004
ACM
16 years 7 months ago
A general decomposition strategy for verifying register renaming
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
Hazem I. Shehata, Mark Aagaard