Filters








4,605 Hits in 8.2 sec

Page 1676 of Linguistics and Language Behavior Abstracts: LLBA Vol. 24, Issue 4 [page]

1990 Linguistics and Language Behavior Abstracts: LLBA  
, 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]

Clemens Grelck, Sven-Bodo Scholz
2003 Lecture Notes in Computer Science  
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

Nathan R. Tallent, John M. Mellor-Crummey
2008 Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '09  
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

Nathan R. Tallent, John M. Mellor-Crummey
2009 SIGPLAN notices  
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

Alden L. Gross, George W. Rebok
2011 Psychology and Aging  
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]

Margus Veanes, Colin Campbell, Wolfram Schulte
2007 Lecture Notes in Computer Science  
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

Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama, Marc Herbstritt
2015 Summit on Advances in Programming Languages  
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

Chuanle Ke, Lei Liu, Chao Zhang, Tongxin Bai, Bryan Jacobs, Chen Ding
2011 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11  
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

Chuanle Ke, Lei Liu, Chao Zhang, Tongxin Bai, Bryan Jacobs, Chen Ding
2011 SIGPLAN notices  
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

Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
2011 SIGARCH Computer Architecture News  
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

Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
2011 SIGPLAN notices  
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

Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
2012 SIGPLAN notices  
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

Chi-Chao Chang, Grzegorz Czajkowski, Thorsten von Eicken, Carl Kesselman
1997 Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '97  
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]

David Dinh, Harsha Vardhan Simhadri, Yuan Tang
2016 arXiv   pre-print
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

Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
2011 Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11  
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