4074 search results - page 386 / 815 » Abstract Graph Transformation |
162
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
196
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
180
click to vote
PRICAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...
160
click to vote
SAMOS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
148
click to vote
WORDS
2003
IEEE
16 years 3 hour ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...