768 search results - page 92 / 154 » Symbolic and Abstract Interpretation for C C Programs |
AHS
2007
IEEE
13 years 9 months ago
2007
IEEE
Abstract— A programmable analog array inspired from neuronal spike event coding is presented. A configurable event block forms the basic building block of the programmable array...
ASPLOS
1992
ACM
14 years 1 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
SPIN
2000
Springer
14 years 23 days ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
ICESS
2007
Springer
14 years 3 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...