Sciweavers

10907 search results - page 256 / 2182
» Constraint Based Strategies
Sort
View
RTAS
2007
IEEE
16 years 4 days ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
15 years 12 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
AFRIGRAPH
2006
ACM
15 years 12 months ago
Cost prediction for global illumination using a fast rasterised scene preview
The media industry is demanding increasing fidelity for their rendered images. Despite the advent of modern GPUs, the computational requirements of physically based global illumi...
Richard Gillibrand, Peter Longhurst, Kurt Debattis...
ISLPED
2003
ACM
142views Hardware» more  ISLPED 2003»
15 years 11 months ago
Minimization of dynamic and static power through joint assignment of threshold voltages and sizing optimization
We describe an optimization strategy for minimizing total power consumption using dual threshold voltage (Vth) technology. Significant power savings are possible by simultaneous a...
David Nguyen, Abhijit Davare, Michael Orshansky, D...
AOSD
2007
ACM
15 years 10 months ago
A machine code model for efficient advice dispatch
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
Ryan M. Golbeck, Gregor Kiczales