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
Abstract multiple specialization and its application to program parallelization
1999
The Journal of Logic Programming
In this paper, we report on the incorporation of multiple specialization in a parallelizing compiler and quantify its eects. ...
We study the multiple specialization of logic programs based on abstract interpretation. ...
The authors would like to thank Will Winsborough, John Gallagher and Saumya Debray for useful discussions on multiple specialization, and Francisco Bueno and Mar õa Garc õa de la Banda for their help during ...
doi:10.1016/s0743-1066(99)00031-x
fatcat:fcj63gtvsvey5a7tcm2fjlrqnu
Abstract specialization and its application to program parallelization
[chapter]
1997
Lecture Notes in Computer Science
This paper reports on the application of abstract multiple specialization to automatic program parallelization in the &-Prolog compiler. ...
Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization ...
The authors would also like to thank Will Winsborough, Saumya Debray, and John Gallagher for useful discussions on multiple specialization, and Francisco Bueno and María García de la Banda for their help ...
doi:10.1007/3-540-62718-9_10
fatcat:2kajrogzd5dbtp2iyecwzqzhzi
The Multi-Core Era - Trends and Challenges
[article]
2008
arXiv
pre-print
It discusses how 40 years of parallel computing research need to be considered in the upcoming multi-core era. ...
Due to physical limitations, this 'free lunch' of speedup has come to an end. The following article gives a summary and bibliography for recent trends and challenges in CMP architectures. ...
This leaded to a long history of libraries and parallel programming languages, all trying to abstract basic concurrency and synchronization issues for the developer. ...
arXiv:0810.5439v1
fatcat:p67elbfj2vf6xhonekhmkelpva
Page 3609 of Mathematical Reviews Vol. , Issue 2000e
[page]
2000
Mathematical Reviews
multiple specialization and its application to program parallelization. ...
In this paper, we report on the incorporation of multiple specialization in a parallelizing compiler and quantify its effects. ...
Implementation of multiple specialization in logic programs
1995
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95
We study the múltiple specialization of logic programs based on abstract interpretation. ...
While the topic of múltiple specialization of logic programs has received considerable theoretical attention, it has never been actually incorporated in a compiler and its effects quantified. ...
We argüe that our results show that múltiple specialization is indeed practical and useful in the application, and also that such results shed some light on its possible practicality in other applications ...
doi:10.1145/215465.215561
dblp:conf/pepm/PueblaH95
fatcat:ji4i3knb4re5rccvcca566bmdq
INVISIBLE PARALLEL PROCESSING A GOAL FOR HEP
1996
Computing in High Energy Physics '95
In general, current and previous HEP parallel processing has been constrained to specialized hardware and software written or designed for HEP. ...
The majority of HEP computer applications are, at this point in time, sequential applications. The HEP community has turned to parallel processing to improve throughput in many areas. ...
The strategy should reversed: create an abstract parallel design and t a method to it. ...
doi:10.1142/9789814447188_0140
fatcat:uh3zrnq65jaelprqkdv2adaolm
Some essential techniques for developing efficient petascale applications
2008
Journal of Physics, Conference Series
It will be a substantial challenge to make existing parallel CSE applications run efficiently on them, and even more challenging to design new applications that can effectively leverage the large computational ...
Finally, I will review some new and old ideas for increasing productivity in parallel programming substantially. ...
If the abstractions that are triggered from individual applications are used, tested and honed in the context of multiple applications, they are likely to improve the state-of-art in parallel programming ...
doi:10.1088/1742-6596/125/1/012036
fatcat:i57rn27hjnf7vontusg47p74km
Language virtualization for heterogeneous parallel computing
2010
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL). ...
To provide a programming model that addresses the productivity and performance requirements for the average programmer, we explore a domain-specific approach to heterogeneous parallel programming. ...
Existing applications can no longer take advantage of the additional compute power available in these new and emerging systems without a significant parallel programming and program specialization effort ...
doi:10.1145/1869459.1869527
dblp:conf/oopsla/ChafiDMRSHOO10
fatcat:wgsarnltdnebfmfkp6xejvwl6m
ProActive Parallel Suite: From Active Objects-Skeletons-Components to Environment and Deployment
[chapter]
2009
Lecture Notes in Computer Science
The Proactive Parallel Suite offers multiple layers of abstraction for parallel and distributed applications which include both programming and the environment/deployment abstraction layers. ...
A deployment descriptor and a super-scheduler abstractions manage deployment of application on distributed resources, while the IC2D tool provides an abstraction to monitor debug and profile parallel and ...
Conclusions The ProActive Parallel Suite offers a variety of abstractions to ease the programming and execution of parallel and distributed applications. ...
doi:10.1007/978-3-642-00955-6_48
fatcat:jcpe42i4n5hnxacsitg7qmkfwq
Language virtualization for heterogeneous parallel computing
2010
SIGPLAN notices
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL). ...
To provide a programming model that addresses the productivity and performance requirements for the average programmer, we explore a domain-specific approach to heterogeneous parallel programming. ...
Existing applications can no longer take advantage of the additional compute power available in these new and emerging systems without a significant parallel programming and program specialization effort ...
doi:10.1145/1932682.1869527
fatcat:b26cnd5a5vbmpktbmjb7gcigfm
Guest editors' introduction: special issues on architecture-independent languages and software tools for parallel processing
2000
IEEE Transactions on Software Engineering
The class of parallel systems includes many different architecturesÐfrom single-instruction-multiple-data (SIMD) machines to distributed-memory, multiple-instruction-multiple-data (MIMD) computers and ...
Languages and tools for parallel processing are designed to separate software development concerns from effective parallel execution concerns and provide both abstraction and standardization. ...
In order to be useful, parallel programming tools must address both issues of abstraction and effectiveness. ...
doi:10.1109/tse.2000.842946
fatcat:rjjjphph4bb5xnm7mkas5yjly4
A Component-based Coordination Language for Efficient Reconfigurable Streaming Applications
2007
Proceedings of the International Conference on Parallel Processing
Because the specification language is generic, the application can easily be ported to different platforms. ...
Consumer electronics applications are becoming increasingly complex because of increased functionality requirements, such as watching multiple compressed video streams on a single screen. ...
We would like to thank Kees van Reeuwijk and the anonymous reviewers for providing feedback on this paper. ...
doi:10.1109/icpp.2007.5
dblp:conf/icpp/NijhuisBB07
fatcat:2iifkwvcpzgstma6vbmbyhedhq
Practical static race detection for Java parallel loops
2013
Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013
It scales to programs of hundreds of thousands of lines of code and it reports few race warnings, thus avoiding a common pitfall of static analyses. ...
We present IteRace, a set of techniques that are specialized to use the intrinsic thread, safety, and data-flow structure of collections and of the new loop-parallelism mechanism to be introduced in Java ...
This research is partly funded through NSF CCF-1213091 and CCF-1219027 grants, an Intel gift grant, and the Illinois-Intel Parallelism Center at the University of Illinois at Urbana-Champaign. ...
doi:10.1145/2483760.2483765
dblp:conf/issta/RadoiD13
fatcat:zgqf3qcn3ffpvhahefjmrnynxq
Julia: A fresh approach to parallel programming
2015
2015 IEEE International Parallel and Distributed Processing Symposium
The Julia programming language is gaining enormous popularity. Julia was designed to be easy and fast. ...
Most importantly, Julia shatters deeply established notions widely held in the applied community: 2015 IEEE 29th International Parallel and Distributed Processing Symposium ...
Julia shows the fascinating dance between specialization and abstraction. Specialization allows for custom treatment. ...
doi:10.1109/ipdps.2015.122
dblp:conf/ipps/Edelman15
fatcat:nvhfem5sqbesbmsmhk6jhz6dnq
On Expressing Different Concurrency Paradigms on Virtual Execution Systems
2009
2009 33rd Annual IEEE International Computer Software and Applications Conference
Although it is possible to imagine a Just In Time compiler that maps programs for the virtual machines to the underlying architecture, the program will not contain enough information to efficiently bridge ...
In this PhD work we want to investigate general approaches to bridge this gap, by providing suitable programming abstractions not affecting the general structure of the virtual machine, but consent control ...
The key to performance improvement is therefore to run a program on multiple processors in parallel. ...
doi:10.1109/compsac.2009.102
dblp:conf/compsac/Dittamo09
fatcat:fsi73aeutnb2pgmboqkv6rusoy
« Previous
Showing results 1 — 15 out of 175,228 results