A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Proposal for a language compatible arithmetic standard
1990
SIGPLAN notices
Preserved Fulltext
In this paper, we propose a new identifier scheme for Language Resources to provide Language Resources with unique names using a standardised nomenclature. ...
This will also ensure Language Resources to be identified, and consequently to be recognised as proper references in activities within Human Language Technologies as well as in documents and scientific ...
Proposal for the LR Identifier In this section, a first formalisation of the International Standard Language Resources Number (ISLRN) is proposed. ...
doi:10.1145/74105.74113
fatcat:s5xnpqpuajgtzluefumhstlu7i
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
for work on a stand-alone standard (separate from the IEEE standard for floating point arithmetic) for interval arithmetic. ...
Although the project is for a stand-alone document, a goal is to make it consistent with the IEEE standard for floating point arithmetic, for possible eventual incorporation into that standard. ...
doi:10.1007/978-3-642-01591-5_1
fatcat:iji2yoqlanetljsmmzc7t43h3m
High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language
2008
Proceedings - International Symposium on Multiple-Value Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a high-level design method of multiple-valued arithmetic circuits. The proposed method uses a cell-based approach with a dedicated hardware description language called ARITH. ...
By using ARITH, we can describe and verify any binary/multiple-valued arithmetic circuits in a formal manner. ...
The proposed method is based on a standard-cell-based approach commonly used for the conventional ASIC design. ...
doi:10.1109/ismvl.2008.39
dblp:conf/ismvl/WatanabeHDAH08
fatcat:aqs4l3quyrf4fdj26z4rqbrz5i
Scientific Programming in Fortran
2007
Scientific Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Development of a revision, scheduled for 2008, is under way. ...
ANSI (ASA at the time) developed a standard, largely based on IBM's Fortran IV in 1966. Revisions of the standard were produced in 1977, 1990, 1995 and 2003. ...
Notwithstanding the developments in programming languages during this era, a new standard for Fortran was not produced for eleven years. ...
doi:10.1155/2007/930816
fatcat:lvbuboy5vbfw7cujnwaqlkmjtu
ILOG's position on Rule Languages for Interoperability
2005
W3C Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
As a major vendor of Business Rule Management Systems (BRMS), ILOG interest in rule languages is mostly focused on Business Rules and Production Rules. ...
A standard rule language must be compatible with that XML schema. ...
These considerations call for a modular answer to the question of a standard rules language. ...
dblp:conf/w3c/McClintockM05
fatcat:vajupgcedvbdtfekj6rxkxtbde
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
2004
Numerical Algorithms
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Some aspects of what a standard for the implementation of the mathematical functions could be are presented. Firstly, the need for such a standard is motivated. Then the proposed standard is given. ...
The mere goal of this paper is to raise questions and to launch the discussion towards a standard. ...
This paper proposes a standard for elementary functions, detailed in section 2. ...
doi:10.1023/b:numa.0000049482.38935.0b
fatcat:3lgi2ikrvbh7tguvnwfjat57ce
A critique of the advanced placement C++ subset
1997
ACM SIGCSE Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
This paper claims that the subset is de‹cient in two areas: (a) the subset is vague on which language features it contains, and (b) the proposed class library diverges signi‹cantly from the draft Standard ...
They have designed a subset of the language to be used in high school courses. ...
Arithmetic precision The subset could specify a minimum 32-bit precision, in which case arithmetic precision need not be discussed. ...
doi:10.1145/271042.271046
fatcat:bj3gh7xkyzfi7clqhvk2c7rdfq
Page 35 of Mathematical Reviews Vol. , Issue 2003A
[page]
2003
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Cumulativity is not entailed by every proposal for updating, though it is a natural feature of many. ...
A logic is called compatible if it has a realization. ...
High-Speed, Area-Efficient FPGA-Based Floating-Point Arithmetic Modules
2007
2007 National Radio Science Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A comparison between the results of the proposed design and a previously reported one is provided. ...
In this paper, single-precision floating-point IEEE-754 standard Adder/Subtractor and Multiplier modules with high speed and area efficient are presented. ...
These standards play a crucial role in ensuring numerical robustness and code compatibility among machines of vastly different architectures. ...
doi:10.1109/nrsc.2007.371368
fatcat:7jvkc3wu2babxdws2wk5fesvua
Memory System Designed for Multiply-Accumulate (MAC) Engine Based on Stochastic Computing
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Therefore, a new memory system designed for SC-based multiply-accumulate (MAC) engine applied in CNN which is compatible with conventional memory system is proposed in this paper. ...
Stochastic computing (SC) is an attractive paradigm implemented in low power applications which performs arithmetic operations with simple logic and low hardware cost. ...
Therefore, a new memory structure is proposed for SCbased MAC engine in this paper, which greatly decreases the power consumption and is compatible with binary memory system. ...
arXiv:1904.10242v1
fatcat:4xkkdmpwynabtke5tufljc33o4
Heap bounds protection with low fat pointers
2016
Proceedings of the 25th International Conference on Compiler Construction - CC 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper presents a new low-fat pointer encoding that is fully compatible with existing libraries (e.g. precompiled libraries unaware of the encoding) and standard hardware (e.g. x86 64). ...
In summary our main contributions are: Low-Fat Pointers: We present a novel low-fat pointer encoding that can support arbitrarily sized objects on the heap and is optimized for standard 64-bit hardware ...
This is a known problem for pointer-arithmetic based instrumentation. ...
doi:10.1145/2892208.2892212
dblp:conf/cc/DuckY16
fatcat:gdhzrk7o3rezhnigpjewbgndhq
Beyond the PDP-11
2015
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and debugging. ...
Finally, we refine the CHERI ISA and abstract model for C, by combining elements of the CHERI capability model and fat pointers, and present a softcore CPU that implements a C abstract machine that can ...
We gratefully acknowledge Google, Inc. for its sponsorship. ...
doi:10.1145/2694344.2694367
dblp:conf/asplos/ChisnallRWWVMRD15
fatcat:6tt2e6t7ffdfhntaj3744gkpzq
Ties of math and language: A cognitive developmental perspective
[chapter]
2021
Diversity Dimensions in Mathematics and Language Learning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
So far, a wide range of studies investigated various language aspects critical for the acquisition of numerical and mathematical concepts. ...
In particular, language may refer to a range of different linguistic aspects and/or specific aspects of language skills, each of which might interact with specific steps in the acquisition of numerical ...
Clear differences in the compatibility effect were observed with Germanspeaking children showing a significantly larger compatibility effect than the other two language groups and, for reaction times, ...
doi:10.1515/9783110661941-006
fatcat:2sjlq44osffapiwarvv4puuppq
Page 4278 of Mathematical Reviews Vol. , Issue 83j
[page]
1983
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
We show that no standard realizations exist for some AFA languages. For standard-realizable languages, on the other hand, we show that higher expressiveness implies higher realization efficiency.” ...
We introduce a special quality functional, for which the construction of an optimal algorithm reduces to a study of compatibility of systems of linear inequalities of block structure. ...
Implementation of the memory-safe full ANSI-C compiler
2009
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper describes a completely memory-safe compiler for C language programs that is fully compatible with the ANSI C specification. ...
There have been several proposals for preventing such memory corruption from various aspects: runtime buffer overrun detectors, designs for new C-like languages, and compilers for (subsets of) the C language ...
Implementation of a part of Fail-Safe C runtime system and standard library is performed jointly with Lepidum, Inc. under the project "New-generation Security R & D Program" from the Ministry of Economy ...
doi:10.1145/1542476.1542505
dblp:conf/pldi/Oiwa09
fatcat:ujgzinxzffgcpnv7qhkanamv7u
« Previous
Showing results 1 — 15 out of 24,531 results