768 search results - page 147 / 154 » Symbolic and Abstract Interpretation for C C Programs |
ASPLOS
2010
ACM
14 years 3 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
ICRA
2008
IEEE
2008
IEEE
Comparison of robotic and clinical motor function improvement measures for sub-acute stroke patients
14 years 3 months ago
Abstract— In this paper, preliminary results in motor function improvement for four sub-acute stroke patients that underwent a hybrid robotic and traditional rehabilitation progr...
ICS
2007
Tsinghua U.
14 years 3 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
ISLPED
2005
ACM
14 years 2 months ago
2005
ACM
ABSTRACT Motivated by data value locality and quality tolerance present in multimedia applications, we propose a new micro-architecture, Region-level Approximate Computation Buffer...