336 search results - page 36 / 68 » Program Speedups in Theory and Practice |
247
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
151
click to vote
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
102
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Aligning IT to business needs is still one of the most important concerns for senior management. The message of Business and IT Alignment (BIA) is logical and undisputed, but impl...
155
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
121
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...