Results 221 to 230 of about 1,020,955 (264)

The formal definition of a real-time language

Acta Informatica, 1981
This paper presents the formal definition of TOMAL (Task-Oriented Microprocessor Applications Language), a programming language intended for real-time systems running on small processors. The formal definition addresses all aspects of the language. Because some modes of semantic definition seem particularly well-suited to certain aspects of a language,
John L. Hennessy, Richard B. Kieburtz
openaire   +2 more sources

On the Definition of Computable Function of a Real Variable

Mathematical Logic Quarterly, 1976
By usual definition, a (partial) real function \(f\) is said to be computable on the set \(I\) iff there is an integer valued general recursive functional \(\Phi\) such that for all \(x\in I\) and all integer valued functions \(r\), if \(r\) approximates \(x\) (i.e., \(|x-2^{-n}r(n)|
openaire   +2 more sources

Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe

2006
Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate.
openaire   +2 more sources

Ostensive Definition as a Prototype of Real Definition

1993
The contention of this paper is to defend the so-called real definition as a perfectly commonsensical procedure, free of that aura of a mystery which some authors impute to it. Those authors, following Tadeusz Kotarbinski (1929, 1966) who developed some philosophical ideas of Leśniewski (1991), used to claim that only nominal definitions are genuine ...
openaire   +1 more source

On the axiomatic definition of real JB*–triples

Mathematische Nachrichten, 2003
AbstractIn the last twenty years, a theory of real Jordan triples has been developed. In 1994 T. Dang and B. Russo introduced the concept of J*B–triple. These J*B–triples include real C*–algebras and complex JB*–triples. However, concerning J*B–triples, an important problem was left open.
openaire   +1 more source

Real and Nominal Definitions

1991
Defining is either giving the meaning of words or other linguistic things, which is called “nominal definition” or clarifying a given meaning, which is a proposition or property or relation, by showing it to be a compound of other propositions or properties or relations, which is called “real definition”.
openaire   +1 more source

On Essentialism and Real Definitions of Religion

Journal of the American Academy of Religion, 2014
This article counters the widespread view within the study of religion that a real definition of religion should be avoided. It argues that an essentialist approach is not necessarily as contentious as is often assumed and that alternatives to essentialist definitions are less well-founded than they may appear.
openaire   +1 more source

Is the African Cinema Definition ‘Real’ or ‘Idealistic’

International Journal of Current Research in the Humanities, 2023
To a large extent, the world seems to have seen more films from the West than from anywhere else. In sub-Saharan Africa for example, it was not until the early 1960s that the Africans had the opportunity to stand behind the lens to tell their own story.
openaire   +2 more sources

Real-time high-definition stereo matching on FPGA

Proceedings of the 19th ACM/SIGDA international symposium on Field programmable gate arrays, 2011
Although many fast stereo matching designs have been proposed in the past decades, it is still very challenging to achieve real-time speed at high definition resolution while maintaining high matching accuracy. In this paper, we propose a real-time high definition stereo matching design on FPGA.
Lu Zhang 0018, Ke Zhang 0012, Tian Sheuan Chang, Gauthier Lafruit, Georgi Krasimirov Kuzmanov, Diederik Verkest   +5 more
openaire   +2 more sources

Real definitions: Quine and Aristotle

Philosophical Studies, 1993
Qu'est-ce que la definition reelle? Selon l'A., elle est representee de la facon la plus convaincante dans la premiere partie de la Section 36 de « Word and Object » de Quine et chez ...
openaire   +1 more source