1102 search results - page 109 / 221 » Generalizing Updates: From Models to Programs |
103
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
121
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
109
Voted
STOC
2003
ACM
16 years 24 days ago
2003
ACM
We present a new bicriteria approximation algorithm for the degree-bounded minimum-cost spanning tree problem: Given an undirected graph with nonnegative edge weights and degree b...
118
Voted
TASE
2010
IEEE
14 years 7 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
127
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...