Sciweavers

2477 search results - page 79 / 496
» Parallelizing Functional Programs by Generalization
Sort
View
ICFP
2003
ACM
15 years 9 months ago
Functional automatic differentiation with dirac impulses
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
Henrik Nilsson
SIGSOFT
2009
ACM
15 years 10 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
JCC
2007
151views more  JCC 2007»
14 years 9 months ago
New parallel algorithm for MP2 energy gradient calculations
Abstract: A new parallel algorithm has been developed for calculating the analytic energy derivatives of full accuracy second order Møller-Plesset perturbation theory (MP2). Its m...
Kazuya Ishimura, Peter Pulay, Shigeru Nagase
ASPLOS
2011
ACM
14 years 1 months ago
Specifying and checking semantic atomicity for multithreaded programs
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
Jacob Burnim, George C. Necula, Koushik Sen
PDPTA
2000
14 years 11 months ago
Programming Environment Specified for Interprocessor Communications Based on Graphical User Interface
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
Yasutaka Sakayori, Motoki Miura, Jiro Tanaka