Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-6

Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs

Anatoliy Doroshenko, Olena Yatsenko

Fundamenta Informaticae

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

Synthesis,Evaluation,and Selection of Parts Design Scheme in Supplier Involved Product Development

Jiafu Tang, Yan-e Zhang, Yiliu Tu [...]

Concurrent Engineering

Free access

Other

First published 1995-9-1

Computer-Chess Championship Programs: Software Design,Synthesis of Evaluation Functions,Parallel Searches

Jean-Christophe Weill

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 1985-04

Computer-aided control-system design with mini- and microcomputers

P.P.J. van den Bosch, W.J.M. van Geest

Transactions of the Institute of Measurement and Control

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 1991-3

The Administrative Internship: Effective Program Characteristics

Edward W. Chance

Journal of School Leadership

Retricted access

Research article

First published 2018-3

A function unit integrating approach for the conceptual design synthesis in the distributed resource environment

Bin Chen, You-Bai Xie

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

Retricted access

Research article

First published 1986-07

Evaluation of Teacher Training

David Lillie, Bobbie Lubker, Reed Rhodes [...]

Teacher Education and Special Education: The Journal of the Teacher Education Division of the Council for Exceptional Children

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

Search results