1226 search results - page 92 / 246 » Proofs, Programs and Abstract Complexity |
144
click to vote
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
129
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
145
click to vote
VL
2007
IEEE
15 years 9 months ago
2007
IEEE
Expert programmers possess programming knowledge, which is language independent and abstract. Still, programming is mostly taught only via constructs of a programming language and...
128
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
168
Voted
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...