366 search results - page 66 / 74 » Four equivalent equivalences of reductions |
WCRE
1993
IEEE
13 years 11 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
EUSFLAT
2007
13 years 8 months ago
2007
In decision under uncertainty, the Choquet integral yields the expectation of a random variable with respect to a fuzzy measure (or non-additive probability or capacity). In gener...
ALGORITHMICA
2007
13 years 7 months ago
2007
In this paper we study the problems of detecting holes and antiholes in general undirected graphs, and we present algorithms for these problems. For an input graph G on n vertices ...