4722 search results - page 539 / 945 » Representation-independent program analysis |
171
Voted
CCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
185
click to vote
LSSC
2007
Springer
16 years 26 days ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
163
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
187
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
An important technique for alleviating the memory bottleneck is data prefetching. Data prefetching solutions ranging from pure software approach by inserting prefetch instructions...
185
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
An approach of doing register allocation beyond basic blocks for low energy is presented in this paper. With careful analysis of boundary conditions between consecutive blocks, ou...