189 search results - page 13 / 38 » Revisiting SIMD Programming |
FMOODS
2007
13 years 9 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
GPEM
2010
13 years 6 months ago
2010
The journal and in particular the resource reviews have been running for ten years. There are a number of activities being planned to celebrate. However it is a good time to revisi...
IOR
2008
13 years 7 months ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
ENTCS
2002
13 years 7 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
LOGCOM
1998
13 years 7 months ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...