Search results: Sage Journals

Restricted accessResearch articleFirst published August, 1998

An Operational Semantics and Compiler for Real-Time Specifications 1

Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok

Integrated Computer-Aided Engineering

Restricted accessResearch articleFirst published November, 2013

Diego Fabregat-Traver, Paolo Bientinesi

The International Journal of High Performance Computing Applications

Restricted accessResearch articleFirst published November, 2019

Thiago SFX Teixeira, William Gropp, David Padua

The International Journal of High Performance Computing Applications

Free accessReview articleFirst published April, 2006

Sebastião F. Palmeira Jünior, Lucia M. Conserva, José Maria Barbosa Filho

Natural Product Communications

Restricted accessResearch articleFirst published November, 2006

Alvaro E. Arenas, Juan C. Bicarregui

Journal of Integrated Design and Process Science

Restricted accessResearch articleFirst published July, 2015

David Cadé, Bruno Blanchet

Journal of Computer Security

Restricted accessResearch articleFirst published 1980

Teodor Rus

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 1998

Kornelie Frech, Kerstin Quandt, Thomas Werner

In Silico Biology

Restricted accessResearch articleFirst published January, 2019

Maximiliano Cristiá, Diego A. Hollmann, Claudia Frydman

SIMULATION

Restricted accessResearch articleFirst published November, 2005

Keith D. Cooper, Todd Waterman

The International Journal of High Performance Computing Applications