1099 search results - page 44 / 220 » A Parallel Programming Style and Its Algebra of Programs |
AVI
2006
14 years 11 months ago
2006
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
ICDCS
1998
IEEE
15 years 1 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
141
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
COMPSAC
2009
IEEE
14 years 10 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
HPCN
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...