Sage Journals: Discover world-class research

Retricted access

Research article

First published 1998-8

An Operational Semantics and Compiler for Real-Time Specifications 1

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

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2013-11

Application-tailored linear algebra algorithms

Diego Fabregat-Traver, Paolo Bientinesi

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2019-11

Managing code transformations for better performance portability

Thiago SFX Teixeira, William Gropp, David Padua

The International Journal of High Performance Computing Applications

Free access

Review article

First published 2006-4

Clerodane Diterpenes from Croton Species: Distribution and a Compilation of their 13 C NMR Spectral Data

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

Natural Product Communications

Retricted access

Research article

First published 2006-11

APPLYING UNIFYING THEORIES OF PROGRAMMING TO REAL-TIME PROGRAMMING

Alvaro E. Arenas, Juan C. Bicarregui

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2015-7

Proved generation of implementations from computationally secure protocol specifications 1

David Cadé, Bruno Blanchet

Journal of Computer Security

Retricted access

Research article

First published 1980

HAS-Hierarchy;A natural tool for languae specification

Teodor Rus

Fundamenta Informaticae

Retricted access

Research article

First published 1998-2

Muscle Actin Genes

Kornelie Frech, Kerstin Quandt, Thomas Werner

In Silico Biology

Retricted access

Research article

First published 1970-3

What Community Press Councils Talk About

Kenneth Starck

Journalism & Mass Communication Quarterly

Retricted access

Research article

First published 1985-8

An Updated Bibliography of Literature Pertaining to Multiple Personality

Jackie Damgaard, Susan Van Benschoten, Joen Fagan

Psychological Reports

Search results