5415 search results - page 815 / 1083 » The Implementation of Functional Programming Languages |
181
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...
166
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
It is possible to implement the parallel random access machine (PRAM) on a chip multiprocessor (CMP) efficiently with an emulated shared memory (ESM) architecture to gain easy par...
161
click to vote
ACSD
2005
IEEE
16 years 8 days ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
158
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
321
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...