3713 search results - page 155 / 743 » Constructing a Calculus of Programs |
131
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
197
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
132
click to vote
WSC
1996
15 years 4 months ago
1996
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
120
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
328
click to vote
DAC
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...