768 search results - page 48 / 154 » Symbolic and Abstract Interpretation for C C Programs |
CC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
SIGPLAN
2002
13 years 7 months ago
2002
Field accessor methods have become a ubiquitous feature of object-oriented programming. The definition and use of such methods promote code bloat and an unnatural expression style...
PVM
1999
Springer
14 years 6 days ago
1999
Springer
Abstract. With the growing importance of fast system area networks in the parallel community, it is becoming common for message passing programs to run in multi-programming environ...
ESANN
2006
13 years 9 months ago
2006
Abstract. We present experimental results about learning function values (i.e. Bellman values) in stochastic dynamic programming (SDP). All results come from openDP (opendp.sourcef...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— A precoding technique applied to symbols transmitted in an ultra-wideband (UWB) system was proposed in [1], which can concentrate the signal power at the receiver to fa...