3404 search results - page 291 / 681 » C Programming Tutorial |
131
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
243
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
167
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
106
Voted
FOSSACS
2007
Springer
15 years 9 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 ...
113
Voted
SAS
2007
Springer
15 years 9 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...