Sciweavers

2355 search results - page 298 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
CGO
2007
IEEE
16 years 1 months ago
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
Louis-Noël Pouchet, Cédric Bastoul, Al...
ASPLOS
1998
ACM
15 years 11 months ago
Active Disks: Programming Model, Algorithms and Evaluation
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
Anurag Acharya, Mustafa Uysal, Joel H. Saltz
SIGMETRICS
1993
ACM
15 years 11 months ago
The Process-Flow Model: Examining I/O Performance from the System's Point of View
Input/output subsystem performance is currently receiving considerable research attention. Signi cant e ort has been focused on reducing average I/O response times and increasing ...
Gregory R. Ganger, Yale N. Patt
183
Voted
WER
2000
Springer
15 years 10 months ago
Non-Functional Requirements for Object-Oriented Modeling
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...
Jaime de Melo Sabat Neto, Julio Cesar Sampaio do P...
FMSD
2002
107views more  FMSD 2002»
15 years 6 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...