1707 search results - page 147 / 342 » Early Integer Programming |
106
click to vote
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
98
Voted
APLAS
2009
ACM
15 years 5 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
92
Voted
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
88
Voted
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
jmpi is a 100% Java-based implementation of the Message-Passing Interface (MPI-1) standard. jmpi comes with an efficient and effective MPI implementation in Java and supports a us...
86
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...