Sciweavers

14 search results - page 1 / 3

» isss 1997

15

ISSS
1997
IEEE

81views Hardware» more ISSS 1997»

Optimization of the Background Memory Utilization by Partitioning

13 years 10 months ago

Optimization of the Background Memory Utilization by Partitioning

Download www.cs.york.ac.uk

Uwe Eckhardt, Renate Merker

claim paper

Read More »

13

ISSS
1997
IEEE

59views Hardware» more ISSS 1997»

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

13 years 10 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 »

13

ISSS
1997
IEEE

64views Hardware» more ISSS 1997»

Prototyping of the Receiver Unit for a Broadband Access Network

13 years 10 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 »

19

ISSS
1997
IEEE

77views Hardware» more ISSS 1997»

Constraint Analysis for DSP Code Generation

13 years 9 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 »

16

ISSS
1997
IEEE

92views Hardware» more ISSS 1997»

Synthesising Controllers from Real-Time Specifications

13 years 9 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 »