4328 search results - page 102 / 866 » A New Kind of Science |
180
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
251
click to vote
STOC
1993
ACM
15 years 10 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
147
click to vote
PARA
2000
Springer
15 years 9 months ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
154
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
308
Voted
Book
A set of lecture notes that introduces the reader to the object-orientation as a new programming concept. However, this is not a course for learning the C++ programming language.