7943 search results - page 25 / 1589 » A calculus for costed computations |
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
ICFP
2008
ACM
14 years 7 months 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...
RTSS
2009
IEEE
14 years 2 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...
ISVC
2010
Springer
13 years 5 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...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer