4397 search results - page 161 / 880 » Relational Algebra Operations |
125
Voted
CUZA
2010
15 years 25 days ago
2010
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
112
Voted
SIAMMAX
2011
14 years 10 months ago
2011
We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-orie...
163
click to vote
JLP
2010
14 years 10 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
120
Voted
EDO
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
143
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...