921 search results - page 80 / 185 » Expressing Computational Complexity in Constructive Type The... |
IPPS
1996
IEEE
14 years 2 days ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
ANSS
2007
IEEE
14 years 2 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
PPOPP
2010
ACM
14 years 5 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
IJCNN
2008
IEEE
14 years 2 months ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
COMPLEX
2009
Springer
14 years 2 months ago
2009
Springer
We introduce transformations from time series data to the domain of complex networks which allow us to characterise the dynamics underlying the time series in terms of topological ...