5241 search results - page 553 / 1049 » Embedded Programming with C |
126
Voted
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
132
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
104
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
155
Voted
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
144
click to vote
ITICSE
2006
ACM
15 years 11 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...