3441 search results - page 145 / 689 » Parallel Logic Programming Systems |
COSPS
2001
Springer
15 years 7 months ago
2001
Springer
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
129
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...
119
Voted
INFORMATICALT
2000
15 years 2 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
143
Voted
HIPEAC
2011
Springer
14 years 2 months ago
2011
Springer
Much compiler-orientated work in the area of mapping parallel programs to parallel architectures has ignored the issue of external workload. Given that the majority of platforms w...
121
Voted
TACAS
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...