3579 search results - page 210 / 716 » Transformations of software models into performance models |
181
click to vote
LCPC
1995
Springer
15 years 8 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
158
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
155
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
148
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
161
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...