341 search results - page 44 / 69 » Use concurrent programming models to motivate teaching of pr... |
89
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
99
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
93
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
103
click to vote
PPDP
2001
Springer
15 years 4 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
123
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...