2012 search results - page 298 / 403 » CORAL - Control, Relations and Logic |
191
click to vote
MFCS
2001
Springer
15 years 10 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
159
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
162
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
185
click to vote
DBPL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
148
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...