3458 search results - page 246 / 692 » Abstracting Control |
152
Voted
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
139
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
159
click to vote
TON
2010
14 years 10 months ago
2010
Abstract--Every congestion control protocol operating in wireless networks is potentially faced with two major challenges of performance degradation. These sources are (a) the coup...
145
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
132
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...