1411 search results - page 57 / 283 » A Value Analysis for C Programs |
SOCRATES
2008
13 years 10 months ago
2008
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
GECCO
2000
Springer
14 years 10 days ago
2000
Springer
This paper examines the behavioral phenomena that occur with the tuning of the binomial-3 problem. Our analysis identifies a distinct set of phenomena that may be generalizable to...
DAC
2005
ACM
14 years 9 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...
ICFP
2000
ACM
14 years 10 days ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...