Sciweavers

3444 search results - page 575 / 689
» A Theory of Object-Oriented Design
Sort
View
OOPSLA
2010
Springer
15 years 4 months ago
Task types for pervasive atomicity
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
Aditya Kulkarni, Yu David Liu, Scott F. Smith
SIAMSC
2010
157views more  SIAMSC 2010»
15 years 4 months ago
Certified Reduced Basis Methods and Output Bounds for the Harmonic Maxwell's Equations
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
Yanlai Chen, Jan S. Hesthaven, Yvon Maday, Jer&oac...
TVCG
2010
139views more  TVCG 2010»
15 years 4 months ago
Mental Models, Visual Reasoning and Interaction in Information Visualization: A Top-down Perspective
—Although previous research has suggested that examining the interplay between internal and external representations can benefit our understanding of the role of information vis...
Zhicheng Liu, John T. Stasko
ACSD
2010
IEEE
219views Hardware» more  ACSD 2010»
15 years 4 months ago
The Model Checking View to Clock Gating and Operand Isolation
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...
CASES
2010
ACM
15 years 4 months ago
Real-time unobtrusive program execution trace compression using branch predictor events
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
Vladimir Uzelac, Aleksandar Milenkovic, Martin Bur...