3404 search results - page 301 / 681 » C Programming Tutorial |
162
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
199
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
124
click to vote
IPSN
2009
Springer
15 years 10 months ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...
113
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
114
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...