3771 search results - page 248 / 755 » Subobject Transformation Systems |
143
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
113
click to vote
ICCD
1994
IEEE
15 years 8 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
128
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
135
click to vote
JLP
2010
14 years 11 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...