Sciweavers

4397 search results - page 259 / 880
» Relational Algebra Operations
Sort
View
ISSAC
1992
Springer
114views Mathematics» more  ISSAC 1992»
15 years 8 months ago
Parallel Lattice Basis Reduction
Abstract. Lattice basis reduction is an important problem in geometry of numbers with applications in combinatorial optimization, computer algebra, and cryptography. The well-known...
Gilles Villard
AMAST
2008
Springer
15 years 6 months ago
Petri Nets Are Dioids
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
Paolo Baldan, Fabio Gadducci
DLT
2006
15 years 5 months ago
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
Manfred Kufleitner
SLP
1994
118views more  SLP 1994»
15 years 5 months ago
A Simple Program Transformation for Parallelism
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
Saumya K. Debray, Mudita Jain
BSL
2008
100views more  BSL 2008»
15 years 4 months ago
Hyperlinear and Sofic Groups: A Brief Guide
This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroup...
Vladimir Pestov