Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

INFORMATION PROCESSING LETTERS

Journal
Identifier:
E082755
ISSN:
0020-0190
  • Overview

Overview

Outputs (26)

  • ascendant
  • decrescent
A CKY Parser for Picture Grammars
Academic Article
A Faster Computation of the Most Vital Edge of a Shortest Path
Academic Article
A VLSI fast solver for tridiagonal linear systems
Academic Article
A fast VLSI conversion between binary and residue systems
Academic Article
A note on the VLSI counter
Academic Article
A pseudo-random network mobile automaton with linear growth
Academic Article
A rewriting strategy to verify observational congruence
Academic Article
A verification algorithm for inheritance hierarchies in object-oriented databases
Academic Article
An Improvement of Algorithms for Solving Interface Equations
Academic Article
Approximation Algorithms for a Hierarchically Structured Bin Packing
Academic Article
Approximation Algorithms for a Hierarchically Structured Bin Packing Problem
Academic Article
Area-time tradeoffs for bilinear forms computations in VLSI
Academic Article
Complete sets of axioms for finite basic LOTOS behavioural equivalences
Academic Article
Compositionality and bisimulation: a negative result
Academic Article
Deriving graphical representations of process networks from algebraic expressions
Academic Article
Event Trace Independence of Active Behavior
Academic Article
Mod m arithmetic in binary systems
Academic Article
Modularity for teams of I/O automata
Academic Article
O (n?2.7799) complexity for nXn approximate matrix multiplication
Academic Article
On the Computational Complexity of Nash Equilibria for (0,1) Bimatrix Games
Academic Article
Physarum can compute shortest paths: A short proof
Academic Article
Shortest-path problem is not harder than matrix multiplication
Academic Article
Software-controlled cache coherence protocol for multicache systems
Academic Article
Solving the Temporal Knapsack Problem via Recursive Dantzig-Wolfe Reformulation
Academic Article
Some comments on building heaps in parallel
Academic Article
VLSI implementation of fast solvers for band linear systems with constant coefficient matrix
Academic Article
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} of {itemsNumber}
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.1.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)