Sciweavers

249 search results - page 2 / 50

» Linear Realizability

22

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 1 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

20

AMCS
2007

64views Mathematics» more AMCS 2007»

Positive Partial Realization Problem for Linear Discrete-Time Systems

13 years 7 months ago

Positive Partial Realization Problem for Linear Discrete-Time Systems

Download matwbn.icm.edu.pl

Tadeusz Kaczorek

claim paper

Read More »

10

CORR
2010
Springer

84views Education» more CORR 2010»

The set of realizations of a max-plus linear sequence is semi-polyhedral

13 years 7 months ago

The set of realizations of a max-plus linear sequence is semi-polyhedral

Download prunel.ccsd.cnrs.fr

Vincent D. Blondel, Stéphane Gaubert, Natac...

claim paper

Read More »

7

APAL
2005

76views more APAL 2005»

Linear realizability and full completeness for typed lambda-calculi

13 years 7 months ago

Linear realizability and full completeness for typed lambda-calculi

Download users.dimi.uniud.it

Samson Abramsky, Marina Lenisa

claim paper

Read More »

23

ISCAS
1999
IEEE

86views Hardware» more ISCAS 1999»

An algorithm for the verification of timing diagrams realizability

13 years 11 months ago

An algorithm for the verification of timing diagrams realizability

Download www.iro.umontreal.ca

In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...

A. El-Aboudi, El Mostapha Aboulhamid

claim paper

Read More »

« Prev « First page 2 / 50 Last » Next »