The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 1676 of Linguistics and Language Behavior Abstracts: LLBA Vol. 24, Issue 4
[page]
1990
Linguistics and Language Behavior Abstracts: LLBA
Preserved Fulltext
, 405-419. 1 The phenomenon of serial verb constructions is discussed from an au- tolexical viewpoint, directly addressing the mismatch between the single semantic proposition & multiple syntactic clauses ...
(Program Linguistics U Puerto Rico, Rio Piedras
00931), Critique of Linguistic Knowledge, WW Language and
Communication, 1990, 10, 2, 95-125. 1 In reaction to American structuralist conceptions of a language ...
Towards an Efficient Functional Implementation of the NAS Benchmark FT
[chapter]
2003
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 2017; you can also visit the original URL.
The file type is application/pdf.
The associated impact on runtime performance is quantified both in a uniprocessor environment as well as in a multiprocessor environment based on automatic parallelization and on OpenMP. ...
This paper compares a high-level implementation of the NAS benchmark FT in the functional array language SaC with traditional solutions based on Fortran-77 and C. ...
Focusing on algorithmic rather than on organizational aspects, functional languages significantly reduce the gap between a mathematical idea and an executable specification; their side-effect free semantics ...
doi:10.1007/978-3-540-45145-7_20
fatcat:2soyble3fjasvibcoajpoqaw6q
Effective performance measurement and analysis of multithreaded applications
2008
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '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 2015; you can also visit the original URL.
The file type is application/pdf.
This requires bridging the gap between the expression of logical concurrency in programs and its realization at run-time as it is adaptively partitioned and scheduled onto a pool of threads. ...
Second, we describe how to measure and attribute parallel overhead-when a thread is performing miscellaneous work other than executing the user's computation. ...
To show the utility of these techniques, we describe their implementation for Cilk and show how they bridge the gap between the execution complexity of a Cilk program and the relative simplicity of the ...
doi:10.1145/1504176.1504210
dblp:conf/ppopp/TallentM09
fatcat:5rzve6xgrnfqdbslpbj7ialaje
Effective performance measurement and analysis of multithreaded applications
2009
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 2015; you can also visit the original URL.
The file type is application/pdf.
This requires bridging the gap between the expression of logical concurrency in programs and its realization at run-time as it is adaptively partitioned and scheduled onto a pool of threads. ...
Second, we describe how to measure and attribute parallel overhead-when a thread is performing miscellaneous work other than executing the user's computation. ...
To show the utility of these techniques, we describe their implementation for Cilk and show how they bridge the gap between the execution complexity of a Cilk program and the relative simplicity of the ...
doi:10.1145/1594835.1504210
fatcat:wemo3tqsmfajzmzadqp7kl3iyy
Memory training and strategy use in older adults: Results from the ACTIVE study
2011
Psychology and Aging
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.
Strategy clustering scores on verbal list learning tasks of episodic memory were used to test the impact of memory training on strategy use and study longitudinal associations between strategy clustering ...
be modified and are closely related to both memory ability and the ability to function independently. ...
Rebok is a consultant for Compact Disc Incorporated (CDI), which is at this time in the process of developing an electronic version of the ACTIVE memory training program. ...
doi:10.1037/a0022687
pmid:21443356
pmcid:PMC3573329
fatcat:66452g57yvftnmtnois5377ibm
Composition of Model Programs
[chapter]
2007
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 2015; you can also visit the original URL.
The file type is application/pdf.
Model programs are a useful formalism for software testing and design analysis. ...
One of the challenges with model programs has been the difficulty to separate contract modeling from scenario modeling. It has not been clear how to separate those concerns in a clean way. ...
This fills an important semantic gap and makes compositional modeling more practical in tools like Spec Explorer. Achieving this goal required us to "rethink" the way actions are treated. ...
doi:10.1007/978-3-540-73196-2_9
fatcat:5wsb55vnu5bg7o55ce4m2wdbje
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis
2015
Summit on Advances in Programming Languages
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.
Each kernel translator is associated with a domain-specific compiler, and the role of each kernel translator is to scan the input code in search of code fragments that can be optimized by the domain-specific ...
ACM Subject Classification I.2.2 Program Synthesis ...
In this paper, we present a system called Herd that we are building for bridging the gap between general-purpose compilers and DSLs. ...
doi:10.4230/lipics.snapl.2015.51
dblp:conf/snapl/CheungKS15
fatcat:lqcelmyyfrcmhatjowolqgdihi
Safe parallel programming using dynamic dependence hints
2011
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11
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 2015; you can also visit the original URL.
The file type is application/pdf.
Speculative parallelization divides a sequential program into possibly parallel tasks and permits these tasks to run in parallel if and only if they show no dependences with each other. ...
In this paper, we present the dependence hint, an interface for a user to specify possible dependences between possibly parallel tasks. ...
Acknowledgments The idea of process reuse was originated in a parallelization system developed by Long Chen and others at ICT. ...
doi:10.1145/2048066.2048087
dblp:conf/oopsla/KeLZBJD11
fatcat:35co7qhb4bfqtnoxnf4yhfwrka
Safe parallel programming using dynamic dependence hints
2011
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 2015; you can also visit the original URL.
The file type is application/pdf.
Speculative parallelization divides a sequential program into possibly parallel tasks and permits these tasks to run in parallel if and only if they show no dependences with each other. ...
In this paper, we present the dependence hint, an interface for a user to specify possible dependences between possibly parallel tasks. ...
Acknowledgments The idea of process reuse was originated in a parallelization system developed by Long Chen and others at ICT. ...
doi:10.1145/2076021.2048087
fatcat:iexyypdqbngovlodf4dlysoy6m
RCDC
2011
SIGARCH Computer Architecture News
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.
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. ...
C++) to improve performance and scalability without sacrificing determinism, even in the presence of races. ...
This work was supported in part by NSF CAREER grant CCF-0846004 and a Microsoft Research New Faculty Fellowship. ...
doi:10.1145/1961295.1950376
fatcat:zomel4jxbza7xgco2gqbqtsgsm
RCDC
2011
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 2017; you can also visit the original URL.
The file type is application/pdf.
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. ...
C++) to improve performance and scalability without sacrificing determinism, even in the presence of races. ...
This work was supported in part by NSF CAREER grant CCF-0846004 and a Microsoft Research New Faculty Fellowship. ...
doi:10.1145/1961296.1950376
fatcat:eopc22qce5bw3byz7gp7shj3fu
RCDC
2012
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 2017; you can also visit the original URL.
The file type is application/pdf.
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. ...
C++) to improve performance and scalability without sacrificing determinism, even in the presence of races. ...
This work was supported in part by NSF CAREER grant CCF-0846004 and a Microsoft Research New Faculty Fellowship. ...
doi:10.1145/2248487.1950376
fatcat:mskazmxxmrh4xhobbswjgxparm
Evaluating the performance limitations of MPMD communication
1997
Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '97
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.
This problem has thus far limited the appeal of high-level programming languages based on MPMD models in the parallel computing community. ...
The MPMD approach for parallel computing is attractive for programmers who seek fast development cycles, high code re-use, and modular programming, or whose applications exhibit irregular computation loads ...
Our results show that these optimizations could potentially reduce the performance gap between SPMD and MPMD parallel applications by about 10 to 15%. ...
doi:10.1145/509593.509604
dblp:conf/sc/ChangCEK97
fatcat:ay2mqgjdhfhtfjmyi5yimifqna
Extending the Nested Parallel Model to the Nested Dataflow Model with Provably Efficient Schedulers
[article]
2016
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 2019; you can also visit the original URL.
The file type is application/pdf.
However, the two composition constructs, i.e. "∥" (parallel) and ";" (serial), are insufficient in expressing "partial dependencies" or "partial parallelism" in a program. ...
The nested parallel (a.k.a. fork-join) model is widely used for writing parallel programs. ...
Xiaoyang Wang, the dean of Software School and School of Computer Science at Fudan University for general help on research environment. We thank the U.S. ...
arXiv:1602.04552v1
fatcat:kdfbnxtss5dcrll34kkbx47ium
RCDC
2011
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11
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.
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. ...
C++) to improve performance and scalability without sacrificing determinism, even in the presence of races. ...
This work was supported in part by NSF CAREER grant CCF-0846004 and a Microsoft Research New Faculty Fellowship. ...
doi:10.1145/1950365.1950376
dblp:conf/asplos/DeviettiNBCG11
fatcat:zyueadayyzhsjfyfqu3zouzyae
« Previous
Showing results 1 — 15 out of 4,605 results