|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
26 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A bulk-synchronous parallel process algebra |
Merlin, Armelle |
2007 |
3-4 |
p. 111-133 23 p. |
artikel |
||
| 2 | A calculus for parallel computations over multidimensional dense arrays |
Di Cosmo, Roberto |
2007 |
3-4 |
p. 82-110 29 p. |
artikel |
||
| 3 | AmbientTalk: programming responsive mobile peer-to-peer applications with actors |
Van Cutsem, Tom |
2014 |
3-4 |
p. 112-136 25 p. |
artikel |
||
| 4 | A sparse evaluation technique for detailed semantic analyses |
Ko, Yoonseok |
2014 |
3-4 |
p. 99-111 13 p. |
artikel |
||
| 5 | Bounded memory protocols |
Kanovich, Max |
2014 |
3-4 |
p. 137-154 18 p. |
artikel |
||
| 6 | Classboxes: controlling visibility of class extensions |
Bergel, Alexandre |
2005 |
3-4 |
p. 107-126 20 p. |
artikel |
||
| 7 | Costing stepwise refinements of parallel programs |
Ellmenreich, Nils |
2007 |
3-4 |
p. 134-167 34 p. |
artikel |
||
| 8 | Delving source code with formal concept analysis |
Mens, Kim |
2005 |
3-4 |
p. 183-197 15 p. |
artikel |
||
| 9 | Design, implementation, and evaluation of the Resilient Smalltalk embedded platform |
Andersen, Jakob R. |
2005 |
3-4 |
p. 127-141 15 p. |
artikel |
||
| 10 | Employing symmetry reductions in model checking |
Sistla, A.Prasad |
2004 |
3-4 |
p. 99-137 39 p. |
artikel |
||
| 11 | IFC - Editorial Board |
2004 |
3-4 |
p. IFC- 1 p. |
artikel |
|||
| 12 | Inside Front Cover - Editorial Board |
2005 |
3-4 |
p. CO2- 1 p. |
artikel |
|||
| 13 | Introduction |
Bouraqadi, Noury |
2005 |
3-4 |
p. 103-105 3 p. |
artikel |
||
| 14 | Introduction to the special issue on semantics and costs models for high-level parallel programming |
Loulergue, Frédéric |
2007 |
3-4 |
p. 79-81 3 p. |
artikel |
||
| 15 | Language support for adaptive object-models using metaclasses |
Razavi, Reza |
2005 |
3-4 |
p. 199-218 20 p. |
artikel |
||
| 16 | Model checking and abstraction to the aid of parameterized systems (a survey) |
Zuck, Lenore |
2004 |
3-4 |
p. 139-169 31 p. |
artikel |
||
| 17 | Nesting analysis of mobile ambients |
Braghin, Chiara |
2004 |
3-4 |
p. 207-230 24 p. |
artikel |
||
| 18 | Parcels: A fast and feature-rich binary deployment technology |
Miranda, Eliot |
2005 |
3-4 |
p. 165-181 17 p. |
artikel |
||
| 19 | Reasoning about layered message passing systems |
Meenakshi, B. |
2004 |
3-4 |
p. 171-206 36 p. |
artikel |
||
| 20 | Refinement of worst-case execution time bounds by graph pruning |
Brandner, Florian |
2014 |
3-4 |
p. 155-170 16 p. |
artikel |
||
| 21 | Re-scheduling invocations of services for RPC grids |
Gautier, Thierry |
2007 |
3-4 |
p. 168-178 11 p. |
artikel |
||
| 22 | Skeleton-based parallel programming: Functional and parallel semantics in a single shot |
Aldinucci, Marco |
2007 |
3-4 |
p. 179-192 14 p. |
artikel |
||
| 23 | Special issue of VMCAI’03 |
Zuck, L |
2004 |
3-4 |
p. 97-98 2 p. |
artikel |
||
| 24 | Uniform and safe metaclass composition |
Ducasse, Stéphane |
2005 |
3-4 |
p. 143-164 22 p. |
artikel |
||
| 25 | Verifying persistent security properties |
Bossi, Annalisa |
2004 |
3-4 |
p. 231-258 28 p. |
artikel |
||
| 26 | Volume Contents, Author and Keyword Index |
2005 |
3-4 |
p. I-VI nvt p. |
artikel |
26 gevonden resultaten