Sciweavers

14 search results - page 1 / 3

» isss 1997

29

ISSS
1997
IEEE

81views Hardware» more ISSS 1997»

Optimization of the Background Memory Utilization by Partitioning

14 years 3 months ago

Optimization of the Background Memory Utilization by Partitioning

Download www.cs.york.ac.uk

Uwe Eckhardt, Renate Merker

claim paper

Read More »

26

ISSS
1997
IEEE

59views Hardware» more ISSS 1997»

Derivation of Formal Representations from Process-Based Specification and Implementation Models

14 years 3 months ago

Derivation of Formal Representations from Process-Based Specification and Implementation Models

Download www.cs.york.ac.uk

Steven Vercauteren, Diederik Verkest, Gjalt G. de ...

claim paper

Read More »

26

ISSS
1997
IEEE

64views Hardware» more ISSS 1997»

Prototyping of the Receiver Unit for a Broadband Access Network

14 years 3 months ago

Prototyping of the Receiver Unit for a Broadband Access Network

Download www.cs.york.ac.uk

A. Hein, J. Dalcolmo, P. Le Corre, Rudy Lauwereins...

claim paper

Read More »

30

ISSS
1997
IEEE

77views Hardware» more ISSS 1997»

Constraint Analysis for DSP Code Generation

14 years 2 months ago

Constraint Analysis for DSP Code Generation

Download alexandria.tue.nl

Bart Mesman, Marino T. J. Strik, Adwin H. Timmer, ...

claim paper

Read More »

34

ISSS
1997
IEEE

92views Hardware» more ISSS 1997»

Synthesising Controllers from Real-Time Specifications

14 years 2 months ago

Synthesising Controllers from Real-Time Specifications

Download seshome.informatik.uni-oldenburg.de

We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...

Henning Dierks

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »