4719 search results - page 813 / 944 » Spreadsheet functional programming |
121
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
116
click to vote
IPPS
1995
IEEE
15 years 6 months 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...
108
click to vote
STOC
1995
ACM
15 years 6 months 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,...
131
click to vote
REX
1991
15 years 6 months 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...
115
click to vote
SIGGRAPH
1987
ACM
15 years 6 months 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...