7943 search results - page 25 / 1589 » A calculus for costed computations |
86
Voted
ACSC
2006
IEEE
15 years 4 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
100
click to vote
ICFP
2008
ACM
16 years 19 days ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
111
click to vote
RTSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
105
Voted
ISVC
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents the design, implementation, and lessons learned from developing a multi-surface VR visualization environment. The environment combines a head-tracked vertical V...
83
Voted
SOFSEM
2010
Springer
15 years 9 months ago
2010
Springer