4743 search results - page 442 / 949 » The PlusCal Algorithm Language |
118
Voted
CPHYSICS
2007
15 years 3 months ago
2007
The UCLA Parallel Particle-in-Cell (UPIC) Framework, is designed to provide trusted components for building a variety of parallel Particle-in-Cell (PIC) codes. It is based on the ...
152
click to vote
DAM
2007
15 years 3 months ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...
162
click to vote
SMA
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...
145
click to vote
IJON
2007
15 years 3 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
138
Voted
ENTCS
2002
15 years 3 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...