Sciweavers

317 search results - page 42 / 64
» Benchmarking weak memory models
Sort
View
DAC
1994
ACM
15 years 3 months ago
Synthesis of Instruction Sets for Pipelined Microprocessors
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
Ing-Jer Huang, Alvin M. Despain
EUROPAR
2006
Springer
15 years 3 months ago
Comparison of Different Methods for Next Location Prediction
Next location prediction anticipates a person's movement based on the history of previous sojourns. It is useful for proactive actions taken to assist the person in an ubiquit...
Jan Petzold, Faruk Bagci, Wolfgang Trumler, Theo U...
LOCA
2005
Springer
15 years 5 months ago
Prediction of Indoor Movements Using Bayesian Networks
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...
Jan Petzold, Andreas Pietzowski, Faruk Bagci, Wolf...
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
14 years 10 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
ISCA
2009
IEEE
146views Hardware» more  ISCA 2009»
15 years 6 months ago
Multi-execution: multicore caching for data-similar executions
While microprocessor designers turn to multicore architectures to sustain performance expectations, the dramatic increase in parallelism of such architectures will put substantial...
Susmit Biswas, Diana Franklin, Alan Savage, Ryan D...