4835 search results - page 835 / 967 » Refactoring Functional Programs |
IPPS
1995
IEEE
14 years 22 days ago
1995
IEEE
Current research in parallel programming is focused on closing the gap between globally indexed algorithms and the separate address spaces of processors on distributed memory mult...
STOC
1995
ACM
14 years 21 days ago
1995
ACM
We present a unified framework for designing polynomial time approximation schemes (PTASs) for “dense” instances of many NP-hard optimization problems, including maximum cut,...
REX
1991
14 years 20 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
SIGGRAPH
1987
ACM
14 years 20 days ago
1987
ACM
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
CISIS
2010
IEEE
14 years 15 days ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...