11017 search results - page 375 / 2204 » Closure Systems and their Structure |
149
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
156
click to vote
SYNASC
2005
IEEE
16 years 13 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
168
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
174
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
Residue Number System based applications involve modulo-arithmetic which is typically implemented using look-up-tables (LUTs) for a small value of modulus. In this paper, we prese...
152
click to vote
CSREAESA
2004
15 years 8 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...