Sciweavers

9595 search results - page 389 / 1919
» Functional programming in C
Sort
View
JFP
2000
91views more  JFP 2000»
15 years 6 months ago
Uniform confluence in concurrent computation
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
Joachim Niehren
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
16 years 27 days ago
A Supercompiler for Core Haskell
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
Neil Mitchell, Colin Runciman
141
Voted
ICALP
2010
Springer
15 years 10 months ago
Scalably Scheduling Power-Heterogeneous Processors
We show that a natural online algorithm for scheduling jobs on a heterogeneous multiprocessor, with arbitrary power functions, is scalable for the objective function of weighted ï¬...
Anupam Gupta, Ravishankar Krishnaswamy, Kirk Pruhs
APSEC
1999
IEEE
15 years 11 months ago
Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
Gang Xing, Michael R. Lyu
149
Voted
TOG
2008
106views more  TOG 2008»
15 years 6 months ago
BSGP: bulk-synchronous GPU programming
We present BSGP, a new programming language for general purpose computation on the GPU. A BSGP program looks much the same as a sequential C program. Programmers only need to supp...
Qiming Hou, Kun Zhou, Baining Guo