Sciweavers

7971 search results - page 134 / 1595
» On unbounded operators and applications
Sort
View
GLVLSI
2007
IEEE
211views VLSI» more  GLVLSI 2007»
16 years 21 days ago
Multi-processor operating system emulation framework with thermal feedback for systems-on-chip
Multi-Processor System-On-Chip (MPSoC) can provide the performance levels required by high-end embedded applications. However, they do so at the price of an increasing power densi...
Salvatore Carta, Andrea Acquaviva, Pablo Garcia De...
ASPLOS
2004
ACM
15 years 11 months ago
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...
Mohamed A. Gomaa, Michael D. Powell, T. N. Vijayku...
IPPS
2006
IEEE
16 years 12 days ago
Distributed Monte Carlo simulation of light transportation in tissue
A distributed Monte Carlo simulation which models the propagation of light through tissue has been developed. It will allow for improved calibration of medical imaging devices for...
Andrew J. Page, S. Coyle, Thomas M. Keane, Thomas ...
ATVA
2011
Springer
254views Hardware» more  ATVA 2011»
14 years 6 months ago
Formal Analysis of Online Algorithms
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
Benjamin Aminof, Orna Kupferman, Robby Lampert
EUROSYS
2006
ACM
16 years 10 days ago
K42: building a complete operating system
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
Orran Krieger, Marc A. Auslander, Bryan S. Rosenbu...