Search Sciweavers | Sciweavers

11066 search results - page 188 / 2214

» Linearity in Process Languages

click to vote

WSC
2008

109views Modeling And Simulation» more WSC 2008»

A proposal for coordinator control recipe in a batch process

13 years 10 months ago

Download www.informs-sim.org

In this work, we propose a coordinator control recipe in the context of a batch process with the use of elements of petri nets and some techniques associated with non linear contr...

Jose Francisco, Briones de la Torre, Antonio Espu&...

claim paper

Read More »

click to vote

FCCM
2005
IEEE

142views VLSI» more FCCM 2005»

FPGA-Based Vector Processing for Solving Sparse Sets of Equations

14 years 2 months ago

Download web.njit.edu

The solution to a set of sparse linear equations Ax = b, where A is an n×n sparse matrix and b is an n-element vector, can be obtained using the W-matrix method. An enhanced vect...

Muhammad Z. Hasan, Sotirios G. Ziavras

claim paper

Read More »

click to vote

ACS
2005

89views Distributed And Parallel Com...» more ACS 2005»

Relating Categorical Semantics for Intuitionistic Linear Logic

13 years 8 months ago

Download www.cs.bham.ac.uk

There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...

Maria Emilia Maietti, Paola Maneggia, Valeria de P...

claim paper

Read More »

click to vote

ICALP
2005
Springer

95views Programming Languages» more ICALP 2005»

Optimal Cover Time for a Graph-Based Coupon Collector Process

14 years 1 months ago

Download www.cs.utexas.edu

Nedialko B. Dimitrov, C. Greg Plaxton

claim paper

Read More »