Filters








77,982 Hits in 6.6 sec

On the non-sequential nature of the interval-domain model of real-number computation

MARTÍN ESCARDÓ, MARTIN HOFMANN, THOMAS STREICHER
2004 Mathematical Structures in Computer Science  
We do this by reducing computations of the weak parallel-or operation on the Sierpinski domain to computations of the addition operation on the interval domain. use, available at http:/www.cambridge.org  ...  We show that real-number computations in the interval-domain environment are 'inherently parallel' in a precise mathematical sense.  ...  Acknowledgements This work was supported by an EPSRC grant number GR/M64840.  ... 
doi:10.1017/s0960129504004360 fatcat:qa7z2lg3ijd3hcezswyk2d4sf4

On the Non-sequential Nature of Domain Models of Real-number Computation

Thomas Anberrée
2007 Electronical Notes in Theoretical Computer Science  
Escardó, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak parallel-or.  ...  Part of the argument involves showing that the addition operation is not Vuillemin sequential. We generalize this to all continuous domain environments for the real line.  ...  Martín Escardó posed to me the questions answered here, and he and Achim Jung and Steve Vickers gave detailed feedback on previous versions of this paper.  ... 
doi:10.1016/j.entcs.2007.02.026 fatcat:po6nlqetjbb55ktw3jco4ylkj4

Semantics of a sequential language for exact real-number computation

J. Raymundo Marcial-Romero, Martín H. Escardó
2007 Theoretical Computer Science  
Since computations on the reals are infinite, one cannot decompose total correctness into the conjunction of partial correctness and termination as is traditionally done.  ...  The non-deterministic nature of the construction suggests the use of powerdomains in order to obtain a denotational semantics for the language.  ...  real number, and a set of intervals collects the possible (total or partial) outputs of a non-deterministic computation.  ... 
doi:10.1016/j.tcs.2007.01.021 fatcat:aa4hels7dzhblnbookd27p65yq

Sequential Real Number Computation and Recursive Relations

J. Raymundo Marcial-Romero, M. Andrew Moshier
2008 Electronical Notes in Theoretical Computer Science  
In the first author's thesis [9] , a sequential language, LRT, for real number computation is investigated.  ...  In [2], Brattka investigates a formalization of recursive relations in the style of Kleene's recursive functions on the natural numbers.  ...  Introduction In the literature on real number computation, several papers follow an idea originally due to Scott [17] of interpreting a type for real numbers in the domain of compact intervals (for simplicity  ... 
doi:10.1016/j.entcs.2008.03.014 fatcat:kkkybcgk6va6xm5akqbzubytjm

Sequentiality and Piecewise-affinity in Segments of Real-PCF

Amin Farjudian
2004 Electronical Notes in Theoretical Computer Science  
Real PCF (RPCF) was proposed by Martín Escardó [8] as a language for Real number computation.  ...  While search is being undertaken to replace pif I with a more efficient operator, one needs to be assured of the segment of RPCF without pif I being sequential.  ...  Acknowledgement Achim Jung -my supervisor -suggested the problem of sequentiality of wRPCF and the definition of the generalized Vuillemin-sequentiality, i.e. Definition 2.4, page 26.  ... 
doi:10.1016/j.entcs.2004.08.002 fatcat:kqv3mhh6dzhshimladtzqa436y

Decision support systems in preliminary design

Patrick Sebastian, Yann Ledoux
2009 International Journal on Interactive Design and Manufacturing  
These variables must be calculated on continuous domains (real numbers).  ...  In the third case, the interval domains are split into smaller interval domains to restart the process on several sub-problems.  ... 
doi:10.1007/s12008-009-0077-5 fatcat:5fojjwxiyfhpvi3nfouehj3te4

Time in Cyber-Physical Systems Specifications, Modeling and Measurements

Miroslav Sveda
2021 International Journal of Mathematical Models and Methods in Applied Sciences  
It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.  ...  This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems.  ...  TA01010632: SCADA system for control and monitoring RT processes, by the Ministry of Industry and Trade of the Czech Republic through the grant no.  ... 
doi:10.46300/9101.2021.15.24 fatcat:64u6i2dp7vbfrcrhpuamsavv7u

A Case Study in Timed Refinement: A Central Heater [chapter]

Brendan Mahony, Ian Hayes
1991 Workshops in Computing  
The refinement calculus is proving a useful tool for the specification and refinement of sequential processes. In this paper we contend that it is also useful in the timed case.  ...  This paper displays the use of the refinement calculus for a small embedded system.  ...  Lastly I would like to acknowledge the contribution of the English weather in motivating this case study.  ... 
doi:10.1007/978-1-4471-3756-6_8 fatcat:x7tf76ep2nctbluuhidousvdeu

Functional first order definability of LRTP

José Raymundo Marcial Romero, José Antonio Hernández
2010 Inteligencia Artificial  
The language LRTp is a non-deterministic language for exact real number computation. It has been shown that all computable first order relations in the sense of Brattka are definable in the language.  ...  This paper is an expanded version of [12] in which we show that the non-deterministic version of the limit operator, which allows to define all computable first order relations, when restricted to single-valued  ...  Introduction Several papers on real number computation follow an idea originally due to Scott [20] of interpreting a type for real numbers in the domain of compact intervals (for simplicity, often restricted  ... 
doi:10.4114/ia.v14i48.1620 fatcat:iqfknbq425edtjmut3b2yoduqu

An abstract data type for real numbers

Pietro Di Gianantonio
1999 Theoretical Computer Science  
We present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus.  ...  Standard PCF has natural numbers as its basic type; for convenience, in this work we substitute natural numbers with integers. PCF does not have a product type constructor.  ...  Acknowledgements The research presented in this paper was started at the departement of Computing, Imperial College London, where the author spent a few months as a research fellow thanks to an EPSRC grant  ... 
doi:10.1016/s0304-3975(99)00036-5 fatcat:xv3x2ktwijcpjir5kraitxx3ia

An abstract data type for real numbers [chapter]

Pietro Gianantonio
1997 Lecture Notes in Computer Science  
We present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus.  ...  Standard PCF has natural numbers as its basic type; for convenience, in this work we substitute natural numbers with integers. PCF does not have a product type constructor.  ...  Acknowledgements The research presented in this paper was started at the departement of Computing, Imperial College London, where the author spent a few months as a research fellow thanks to an EPSRC grant  ... 
doi:10.1007/3-540-63165-8_170 fatcat:yihzh7smebfljp4up6bz5reuiy

Effective and sequential definition by cases on the reals via infinite signed-digit numerals

Martín Hötzel Escardó
1998 Electronical Notes in Theoretical Computer Science  
We apply the order-normalization operator to easily obtain an effective and sequential definitionby-cases scheme in which the cases consist of inequalities between real numbers.  ...  In particular, one can always assume without loss of generality that any two numerals that denote the same number are themselves the same.  ...  Acknowledgement I benefited from remarks by Alex Simpson on a previous version of this paper.  ... 
doi:10.1016/s1571-0661(05)80214-2 fatcat:n4kwpktukrg5jm54fqs22yfprm

Interval-Based Relaxation for General Numeric Planning

Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
2016 European Conference on Artificial Intelligence  
We generalise the interval-based relaxation to sequential numeric planning problems with non-linear conditions and effects, and cyclic dependencies.  ...  This effectively removes all the limitations on the problem placed in previous work on numeric planning heuristics, and even allows us to extend the planning language with a wider set of mathematical functions  ...  NICTA is funded by the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.  ... 
doi:10.3233/978-1-61499-672-9-655 dblp:conf/ecai/ScalaHTR16 fatcat:oa2wrmgmjjf2jp2bzgi7rpam3a

ZSim

Daniel Sanchez, Christos Kozyrakis
2013 Proceedings of the 40th Annual International Symposium on Computer Architecture - ISCA '13  
Simulator performance scales well with both the number of modeled cores and the number of host cores.  ...  We validate zsim against a real Westmere system on a wide variety of workloads, and find performance and microarchitectural events to be within a narrow range of the real system.  ...  We are grateful to Nathan Beckmann, Christina Delimitrou, Babak Falsafi, Harshad Kasture, Mikko Lipasti, and the anonymous reviewers for their useful feedback on earlier versions of this manuscript.  ... 
doi:10.1145/2485922.2485963 dblp:conf/isca/SanchezK13 fatcat:iwrohdffnve2xmhuvx2nemwtta

ZSim

Daniel Sanchez, Christos Kozyrakis
2013 SIGARCH Computer Architecture News  
Simulator performance scales well with both the number of modeled cores and the number of host cores.  ...  We validate zsim against a real Westmere system on a wide variety of workloads, and find performance and microarchitectural events to be within a narrow range of the real system.  ...  We are grateful to Nathan Beckmann, Christina Delimitrou, Babak Falsafi, Harshad Kasture, Mikko Lipasti, and the anonymous reviewers for their useful feedback on earlier versions of this manuscript.  ... 
doi:10.1145/2508148.2485963 fatcat:7u3lcvfbgzgt5ijzbxp7zt25dq
« Previous Showing results 1 — 15 out of 77,982 results