The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Abstracts
1970
IBM Systems Journal
Preserved Fulltext
We adopt the point of view that a language is characterized by a relation which relates each well-formed sentence of the language to an appropriate meaning. ...
Although the main use of the system is as a computer facility that may be shared simultaneously by up to fifteen users, it may also be used as an ordinary batch processor having a small experimental associative ...
doi:10.1147/sj.91.0073
fatcat:cmjjqivitje4nkkowzvx5jm2fe
Abstract Selection
1991
Journal of Laryngology and Otology
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.
Moreover, on CT and, particularly, on MR, a number of potential diagnostic pitfalls were encountered. ...
The nasal glioma appeared as a mixed-intensity mass that, on the basis of the CT scan, appeared to be continuous with intracranial structures. ...
Seven post-linguistically deaf adults implanted with the nucleus multi-electrode cochlear implant participated in an evaluation of speech perception performance with three speech processors: the Wearable ...
doi:10.1017/s0022215100117591
fatcat:625qblq7x5gfrhtmnfofmotc6a
Abstracts of Current Computer Literature
1969
IEEE transactions on computers
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 fully associative processor is proposed in this report. This processor may achieve all the relational, the logic, and the retrieval operations which should be achieved by any associative system. ...
State-
ments to a Minimum 6993
Assembler Language Program for a
Pseudo-Random Number Generator
7024
Associative
Relational, Logic, Arithmetic and Re-
trieval Operations of an Associative
Processor ...
doi:10.1109/t-c.1969.222790
fatcat:6uoe3hk6ffhxvgnifzisoykq4e
Generating Representative Executions [Extended Abstract]
2017
Electronic Proceedings in Theoretical 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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1704.03098v1 fatcat:4enynic5snav3lirura7vkzpei
Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. ...
The key ingredient of Mazurkiewicz trace theory, the dependency relation, is used in the framework in two roles: first, as part of the specification of which executions are allowed at all, and then as ...
This separation can be made without a performance penalty thanks to lazy evaluation. ...
doi:10.4204/eptcs.246.8
fatcat:2hfbndtzxzfdhhidabilmgxfr4
Abstracts
2012
Audiology & neuro-otology
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 2018; you can also visit the original URL.
The file type is application/pdf.
Hearing impairment affects approximately 16% of the adult population and more than half of people over 60 years of age, making age-related hearing loss a major health problem. ...
., 2011] reported direct evidence showing that massive SGN degeneration can be a primary result of sound exposure, even when there is no loss of sensory hair cells. ...
Disclosure Statement The authors state that there is no conflict of interest to be disclosed.
Disclosure Statement The authors state that there is no conflict of interest to be disclosed. ...
doi:10.1159/000341356
pmid:22922653
fatcat:lkerurxzsvgebnx4gxlgamqyea
Instruction-Level Abstraction (ILA)
2018
ACM Transactions on Design Automation of Electronic Systems
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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2018 pre-print arXiv:1801.01114v1 fatcat:j5o75versfgrfgke2rv363ckgiOther Versions
This formal ILA extends the familiar notion of instructions to accelerators and provides a uniform, modular, and hierarchical abstraction for modeling software-visible behavior of both accelerators and ...
We demonstrate the applicability of the ILA through several case studies of accelerators (for image processing, machine learning, and cryptography), and a general-purpose processor (RISC-V). ...
In addition, we provide an extensive evaluation of its modeling and verification capabilities on a diverse set of accelerator and processor designs. ...
doi:10.1145/3282444
fatcat:cp5xyfozg5au3l3lyj77xkr2oa
Abstracts of Current Computer Literature
1970
IEEE transactions on computers
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.
Two associative processors are formulated and evaluated. ...
Associative File Processor Using a Small Associative Memory With a Large Head-Per-Track Disk File-see 8026. ...
doi:10.1109/t-c.1970.222819
fatcat:oauihu4f65hwjir4uopjkaxrk4
Direct implementation of abstract data types from abstract specifications
1986
IEEE Transactions on Software Engineering
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.
The approach relies on a specification language for abstract data types and a synthesis system. ...
The development of correct specifications is a critical task in the software development process. This paper describes an alternative approach for the development of specifications. ...
This processor is capable of automatically generating implementations of abstract data types from the associated high-level specifi~ations. ...
doi:10.1109/tse.1986.6312960
fatcat:jufrjut7mjdwdgycyhdsihiusq
Abstracts
1971
College and Research Libraries
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 2018; you can also visit the original URL.
The file type is application/pdf.
science uses of computers as language processors. ...
simulated;
The Development and ( 2) an instructional period to evaluate dis-crimination and performance; and ( 3) easily revised self-instructional materials. ...
doi:10.5860/crl_32_01_recent_publications
fatcat:ukctqh25rnazdjovi5fuswgpym
English Abstracts
2011
Revista Iberoamericana de Automática e Informática Industrial RIAI
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.
Abstract: The advances in technology have allowed the use of sensors, processors and actuators in the context of the mobility assistive devices for disabled people, improving their usability and safety ...
decay of the overall performance. ...
Abstract: An experimental protocol has been designed with specific exercises and the study of forearm muscles which are related with repetitive effort disorders (RED) and myalgia . ...
doi:10.1016/s1697-7912(11)70037-1
fatcat:f4v7tp6u4ncufbsbegpegopxzq
Abstract Selection
1999
Journal of Laryngology and Otology
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 2018; you can also visit the original URL.
The file type is application/pdf.
A coefficient of IEF autoregulation (Ga) was determined during controlled hypotension, with a Ga value ranging between 0 (no autoregulation) and one (perfect autoregulation). ...
A., ...
METHODS: We evaluated 162 consecutive patients who underwent radiosurgery for acoustic neuromas between 1987 and 1992 by means of serial imaging tests, clinical evaluations, and a survey between five and ...
doi:10.1017/s002221510014407x
fatcat:z2d2tqlym5a4pj5o364szp6uum
Optimistic parallelism requires abstractions
2009
Communications of the ACM
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 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper, we describe two real-world irregular applications: a Delaunay mesh refinement application and a graphics application that performs agglomerative clustering. ...
Automatic tools and techniques such as restructuring compilers and runtime speculative execution have failed to uncover much parallelism in these applications, in spite of a lot of effort by the research ...
Finally, we would like to thank Tim Harris for being a good shepherd on behalf of the PLDI program committee. ...
doi:10.1145/1562164.1562188
fatcat:s6dnqbpgq5cejjpbzxtgeocjeu
Optimistic parallelism requires abstractions
2007
SIGPLAN notices
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 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper, we describe two real-world irregular applications: a Delaunay mesh refinement application and a graphics application that performs agglomerative clustering. ...
Automatic tools and techniques such as restructuring compilers and runtime speculative execution have failed to uncover much parallelism in these applications, in spite of a lot of effort by the research ...
Finally, we would like to thank Tim Harris for being a good shepherd on behalf of the PLDI program committee. ...
doi:10.1145/1273442.1250759
fatcat:fzid5oftn5gfzjf44kiglymlym
Optimistic parallelism requires abstractions
2007
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07
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 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper, we describe two real-world irregular applications: a Delaunay mesh refinement application and a graphics application that performs agglomerative clustering. ...
Automatic tools and techniques such as restructuring compilers and runtime speculative execution have failed to uncover much parallelism in these applications, in spite of a lot of effort by the research ...
Finally, we would like to thank Tim Harris for being a good shepherd on behalf of the PLDI program committee. ...
doi:10.1145/1250734.1250759
dblp:conf/pldi/KulkarniPWRBC07
fatcat:r3vothk2pfhbbnw43lyeque754
Abstract machines for programming language implementation
2000
Future generations computer systems
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 2003; you can also visit the original URL.
The file type is application/pdf.
Related terms The term abstract machine is sometimes also used for different concepts and other terms are used for the concept of abstract machines, e.g. some authors 0167-739X/00/$ -see front matter © ...
The extremes of this spectrum are characterized as follows: • An abstract machine is an intermediate language with a small-step operational semantics [107]. • An abstract machine is a design for a real ...
Concrete abstract machines A computer processor (CPU) could be considered a concrete hardware realization of an abstract machine, namely the processor's design. ...
doi:10.1016/s0167-739x(99)00088-6
fatcat:qx6mlakihzecvlaiorgzuwdzxi
« Previous
Showing results 1 — 15 out of 82,938 results