Sciweavers

249 search results - page 2 / 50

» Linear Realizability

71

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 4 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

56

AMCS
2007

64views Mathematics» more AMCS 2007»

Positive Partial Realization Problem for Linear Discrete-Time Systems

14 years 10 months ago

Positive Partial Realization Problem for Linear Discrete-Time Systems

Download matwbn.icm.edu.pl

Tadeusz Kaczorek

claim paper

Read More »

34

CORR
2010
Springer

84views Education» more CORR 2010»

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

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

37

APAL
2005

76views more APAL 2005»

Linear realizability and full completeness for typed lambda-calculi

14 years 9 months ago

Linear realizability and full completeness for typed lambda-calculi

Download users.dimi.uniud.it

Samson Abramsky, Marina Lenisa

claim paper

Read More »

72

ISCAS
1999
IEEE

86views Hardware» more ISCAS 1999»

An algorithm for the verification of timing diagrams realizability

15 years 2 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 »