Search Sciweavers | Sciweavers

3706 search results - page 2 / 742

» KtSeqC: System Description

click to vote

TSE
2002

147views more TSE 2002»

Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware

13 years 5 months ago

Download www.real-time.ece.vt.edu

Binoy Ravindran

claim paper

Read More »

click to vote

DDECS
2006
IEEE

94views Hardware» more DDECS 2006»

A System for Transforming an ANSI C Code with OpenMP Directives into a SystemC Description

14 years 9 days ago

Download www-rocq.inria.fr

Abstract— In this paper, we describe a system for transforming a code given in ANSI C into an equivalent SystemC description. In order to synthesize parallel C codes into hardwar...

Piotr Dziurzanski, W. Bielecki, Konrad Trifunovic,...

claim paper

Read More »

click to vote

CADE
1999
Springer

141views Logical Reasoning» more CADE 1999»

System Description: Twelf - A Meta-Logical Framework for Deductive Systems

13 years 10 months ago

Download www.cs.cmu.edu

Abstract. Twelf is a meta-logical framework for the speciﬁcation, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...

Frank Pfenning, Carsten Schürmann

claim paper

Read More »

click to vote

CADE
2008
Springer

169views Logical Reasoning» more CADE 2008»

Celf - A Logical Framework for Deductive and Concurrent Systems (System Description)

14 years 6 months ago

Download www.twelf.org

CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...

Anders Schack-Nielsen, Carsten Schürmann

claim paper

Read More »

click to vote

AMTA
2004
Springer

203views Information Technology» more AMTA 2004»

System Description: A Highly Interactive Speech-to-Speech Translation System

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers