Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.1 - PROGRAMMING TECHNIQUES
Topic D.1.3 - Concurrent Programming

J.-R. Abrial, D. Cansell:
Formal Construction of a Non-blocking Concurrent Queue Algorithm
/jucs_11_5/formal_construction_of_a
page 744 - 770
Vol.11 / Issue 5
R. Banach:
MONSTR I - Fundamental Issues and the Design of MONSTR
/jucs_2_4/monstr_i_fundamental_issues
page 164 - 216
Vol.2 / Issue 4
R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
/jucs_9_1/a_multiply_hierarchical_automaton
page 2 - 33
Vol.9 / Issue 1
R. Banach, J. Balázs, G. A. Papadopoulos:
A Translation of the Pi-Calculus Into MONSTR
/jucs_1_6/a_translation_of_the
page 339 - 398
Vol.1 / Issue 6
R. Banach:
MONSTR II - Suspending Semantics and Independence
/jucs_3_7/monstr_ii_suspending_semantics
page 756 - 802
Vol.3 / Issue 7
E. Börger, L. Mearelli:
Integrating ASMs into the Software Development Life Cycle
/jucs_3_5/integrating_asm
page 603 - 665
Vol.3 / Issue 5
Ã. Reis Figueira, H. Paulino, L. Lopes, F. Silva:
Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources
/jucs_9_8/distributed_typed_concurrent_objects
page 745 - 760
Vol.9 / Issue 8
A. de Araújo Formiga, R. Dueire Lins:
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
/jucs_13_6/a_new_architecture_for
page 817 - 829
Vol.13 / Issue 6
A. French, J.N. Amaral:
Eliminating Redundant Join-Set Computations in Static Single Assignment
/jucs_12_8/eliminating_redundant_join_set
page 1007 - 1019
Vol.12 / Issue 8
H. Georgescu, C. Vertan:
A New Approach to Communicating X-Machines Systems
/jucs_6_5/a_new_approach_to
page 490 - 502
Vol.6 / Issue 5
L. Groves:
Reasoning about Nonblocking Concurrency
/jucs_15_1/reasoning_about_nonblocking_concurrency
page 72 - 111
Vol.15 / Issue 1
C. Herzeel, P. Costanza, T. D'Hondt:
An Extensible Interpreter Framework for Software Transactional Memory
/jucs_16_2/an_extensible_interpreter_framework
page 221 - 245
Vol.16 / Issue 2
J. Keller, C.W. Kessler, R. Hultén:
Optimized On-Chip-Pipelining for Memory-Intensive Computations on Multi-Core Processors with Explicit Memory Hierarchy
/jucs_18_14/optimized_on_chip_pipelining
page 1987 - 2023
Vol.18 / Issue 14
J. Kienzle:
On Atomicity and Software Development
/jucs_11_5/on_atomicity_and_software
page 687 - 702
Vol.11 / Issue 5
M. Amorim Leal, N. Rodriguez, R. Ierusalimschy:
LuaTS - A Reactive Event-Driven Tuple Space
/jucs_9_8/luats_a_reactive_event
page 730 - 744
Vol.9 / Issue 8
N. Losada, M.J. Martín, G. Rodríguez, P. González:
Extending an Application-Level Checkpointing Tool to Provide Fault Tolerance Support to OpenMP Applications
/jucs_20_9/extending_an_application_level
page 1351 - 1372
Vol.20 / Issue 9
G. de Oliveira Mattos, A. de Araújo, R. Dueire Lins, F.H. de Carvalho Júnior, F.M. Junqueira Martins:
Comparative Aspects between the Cluster and Grid Implementations of BigBatch
/jucs_14_18/comparative_aspects_between_the
page 3031 - 3050
Vol.14 / Issue 18
L. Mearelli:
Refining an ASM Specification of the Production Cell to C++ Code
/jucs_3_5/production_cell
page 666 - 688
Vol.3 / Issue 5
G. Rodríguez, M.J. Martín, P. González, J. Touriño:
A Heuristic Approach for the Automatic Insertion of Checkpoints in Message-Passing Codes
/jucs_15_14/a_heuristic_approach_for
page 2894 - 2911
Vol.15 / Issue 14
C. Cerschi Seceleanu, T. Seceleanu:
Synchronization Can Improve Reactive Systems Control and Modularity
/jucs_10_10/synchronization_can_improve_reactive
page 1429 - 1468
Vol.10 / Issue 10
D. B. Skillicorn:
Structured Parallel Computation in Structured Documents
/jucs_3_1/structured_parallel
page 42 - 68
Vol.3 / Issue 1
A. Skyrme, N. Rodriguez, R. Ierusalimschy:
Exploring Lua for Concurrent Programming
/jucs_14_21/exploring_lua_for_concurrent
page 3556 - 3572
Vol.14 / Issue 21
W. Figueiredo Taveira, M. Tulio de Oliveira Valente, M.A. da Silva Bigonha, R. da Silva Bigonha:
Asynchronous Remote Method Invocation in Java
/jucs_9_8/asynchronous_remote_method_invocation
page 761 - 775
Vol.9 / Issue 8
F. Heron de Carvalho Junior, R. Dueire Lins:
Haskell#: Parallel Programming Made Simple and Efficient
/jucs_9_8/haskell_parallel_programming_made
page 776 - 794
Vol.9 / Issue 8