10585 search results - page 1670 / 2117 » The Orc Programming Language |
171
click to vote
ISCA
1998
IEEE
15 years 9 months ago
1998
IEEE
Future parallel computers must efficiently execute not only hand-coded applications but also programs written in high-level, parallel programming languages. Today's machines ...
137
click to vote
ICSE
1995
IEEE-ACM
15 years 9 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...
209
click to vote
HLPPP
1991
15 years 9 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
167
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
184
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...