Sciweavers

687 search results - page 117 / 138
» Feature (De)composition in Functional Programming
Sort
View
ECAL
1999
Springer
14 years 1 months ago
Arithmetic Operations on Self-Replicating Cellular Automata
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
Enrico Petraglio, Jean-Marc Henry, Gianluca Tempes...
AINA
2004
IEEE
14 years 15 days ago
WebTop XML Editor supporting Operations on Views generated by User-Defined Styles
In this paper, we present a WebTop XML Editor by which the user can edit XML Documents on views generated by user-defined styles. Meta XSLT is the key technology of this feature. ...
Hiroshi Yao, Haruhiko Toyama, Satoshi Shirai, Tats...
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 14 days ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
VLDB
1987
ACM
93views Database» more  VLDB 1987»
14 years 6 days ago
FAD, a Powerful and Simple Database Language
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
François Bancilhon, Ted Briggs, Setrag Khos...
ARC
2008
Springer
104views Hardware» more  ARC 2008»
13 years 10 months ago
PARO: Synthesis of Hardware Accelerators for Multi-Dimensional Dataflow-Intensive Applications
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
Frank Hannig, Holger Ruckdeschel, Hritam Dutta, J&...