81 search results - page 12 / 17 » Rewrite Systems for Integer Arithmetic |
ARITH
1999
IEEE
15 years 4 months ago
1999
IEEE
It is widely recognized that security issues will play a crucial role in the majority of future computer and communication systems. Central tools for achieving system security are...
SYNASC
2005
IEEE
15 years 5 months ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
DAC
2004
ACM
16 years 20 days ago
2004
ACM
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
100
click to vote
CPC
2000
14 years 11 months ago
2000
This paper describes methods for counting the number of non-negative integer solutions of the system Ax = b when A is a non-negative totally unimodular matrix and b an integral ve...
125
click to vote
CPM
1995
Springer
15 years 3 months ago
1995
Springer
We consider strings which are succinctly described. The description is in terms of straight-line programs in which the constants are symbols and the only operation is the concaten...