4198 search results - page 274 / 840 » Data Parallel Program Design |
130
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
142
click to vote
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
Graphics and media processing is quickly emerging to become one of the key computing workloads. Programmable graphics processors give designers extra flexibility by running a sma...
115
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
157
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Packet Classification (PC) has been a critical data path function for many emerging networking applications. An interesting approach is the use of TCAM to achieve deterministic, hi...
149
click to vote
APN
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...