Sage Journals: Discover world-class research

Retricted access

Other

First published 1991-01

A multiprocessor system for dynamic system simulation

Veljko Malbasa

SIMULATION

Retricted access

Research article

First published 1984-03

Automatic Synthesis of Fine-Motion Strategies for Robots

Tomás Lozano-Pérez, Matthew T. Mason, Russell H. Taylor

The International Journal of Robotics Research

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-11

Synthesizing Concurrent Programs Using Answer Set Programming

Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti

Fundamenta Informaticae

Free access

Research article

First published 2003-2

Wrapping of Soft IPs for Interface‐based Design Using Heterogeneous Metaprogramming

Robertas Damaševičius, Vytautas Štuikys

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2009-11

Automatic generation of safe handlers for multi-task systems

Eric Rutten, Hervé Marchand

Journal of Embedded Computing

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 2004-12

Design of parallel kinematic systems using the planar enveloping algorithm and ADAMS computer program

N Orlandea

Proceedings of the Institution of Mechanical Engineers,Part K: Journal of Multi-body Dynamics

Retricted access

Research article

First published 1991-7

Computer Prediction of Possible Toxic Action from Chemical Structure;The DEREK System

D.M. Sanderson, C.G. Earnshaw

Human & Experimental Toxicology

Retricted access

Research article

First published 1997-09

Software Tools for Scalable Multilevel Application Engineering

Karsten M. Decker, Brian J. N. Wylie

The International Journal of High Performance Computing Applications

Search results