Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-2-20

Effective verification of confidentiality for multi-threaded programs

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

Journal of Computer Security

Retricted access

Research article

First published 2018-5

Experimental study on the model-based control of a 2-degree-of-freedom spherical parallel robot camera stabilizer based on multi-thread programming concept

Alireza Safaryazdi, Mojtaba Zarei, Omid Abolghasemi [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2003-10-1

A unifying approach to the security of distributed and multi-threaded programs 1

Heiko Mantel, Andrei Sabelfeld

Journal of Computer Security

Retricted access

Research article

First published 2006-7

Thread Algebra with Multi-Level Strategies

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2018-4-9

Low-deterministic security for low-nondeterministic programs 1

Simon Bischof, Joachim Breitner, Jürgen Graf [...]

Journal of Computer Security

Retricted access

Research article

First published 2008-2

A Deductive Proof System for Multithreaded Java with Exceptions

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-11

Parallelization of shallow water simulations on current multi-threaded systems

Jacobo Lobeiras, Moisés Viñas, Margarita Amor [...]

The International Journal of High Performance Computing Applications

Free access

Research article

First published 2011-6

Performance Evaluation of a Hybrid Programming Model for RSDFT on T2K Open Supercomputer

Miwako Tsuji, Mitsuhisa Sato

Journal of Algorithms & Computational Technology

Retricted access

Research article

First published 2011-2

High-performance Physics Simulations Using Multi-core CPUs and GPGPUs in a Volunteer Computing Context

Kamran Karimi, Neil Dickson, Firas Hamze

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2010-1-1

Provably correct inline monitoring for multithreaded Java-like programs

Mads Dam, Bart Jacobs, Andreas Lundblad [...]

Journal of Computer Security

Search results