Sciweavers

4507 search results - page 863 / 902
» Generalized Binet dynamics
Sort
View
SAS
2001
Springer
166views Formal Methods» more  SAS 2001»
15 years 4 months ago
Estimating the Impact of Scalable Pointer Analysis on Optimization
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...
RTCSA
2000
IEEE
15 years 4 months ago
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...
Radu Dobrin, Yusuf Özdemir, Gerhard Fohler
ELPUB
2000
ACM
15 years 4 months ago
Changes in the Information Dissemination Process Within the Scholarly World: The Impact of Electronic Publishing on Scholarly Co
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...
Sely Maria de Souza Costa
CGO
2010
IEEE
15 years 4 months ago
Umbra: efficient and scalable memory shadowing
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
ISCA
2010
IEEE
176views Hardware» more  ISCA 2010»
15 years 4 months ago
Forwardflow: a scalable core for power-constrained CMPs
Chip Multiprocessors (CMPs) are now commodity hardware, but commoditization of parallel software remains elusive. In the near term, the current trend of increased coreper-socket c...
Dan Gibson, David A. Wood