336 search results - page 36 / 68 » Program Speedups in Theory and Practice |
215
click to vote
POPL
2005
ACM
16 years 24 days 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...
125
Voted
ICAIL
2005
ACM
15 years 6 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...
82
Voted
HICSS
2009
IEEE
15 years 7 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...
120
click to vote
CADE
2004
Springer
16 years 24 days 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...
93
Voted
ICFP
2010
ACM
15 years 1 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.,...