24,531 Hits in 5.2 sec

Proposal for a language compatible arithmetic standard

M. Payne, C. Shaffert, B. Wichman
1990 SIGPLAN notices  
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]

R. Baker Kearfott, John Pryce, Nathalie Revol
2009 Lecture Notes in Computer Science  
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

Yuki Watanabe, Naofumi Homma, Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi
2008 Proceedings - International Symposium on Multiple-Value Logic  
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

W. Van Snyder
2007 Scientific Programming  
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

Colleen McClintock, Christian de Sainte Marie
2005 W3C Workshops  
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

David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
2004 Numerical Algorithms  
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

Mordechai Ben-Ari, Kevlin Henney
1997 ACM SIGCSE Bulletin  
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  
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

M. Taher, M. Aboulwafa, A. Abdelwahab, E.M. Saad
2007 2007 National Radio Science Conference  
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]

Xinyue Zhang, Yuan Wang, Yawen Zhang, Jiahao Song, Zuodong Zhang, Kaili Cheng, Runsheng Wang, Ru Huang
2019 arXiv   pre-print
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

Gregory J. Duck, Roland H. C. Yap
2016 Proceedings of the 25th International Conference on Compiler Construction - CC 2016  
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

David Chisnall, Colin Rothwell, Robert N.M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, Peter G. Neumann
2015 Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '15  
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]

Julia Bahnmueller, Júlia Beatriz Lopes-Silva, Vitor Geraldi Haase, Ricardo Moura, Korbinian Moeller
2021 Diversity Dimensions in Mathematics and Language Learning  
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  
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

Yutaka Oiwa
2009 Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09  
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