2292 search results - page 273 / 459 » Structure preserving embedding |
169
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
132
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we present a new integrated synthesis and partitioning method for multiple-FPGA applications. This method rst synthesizes a design speci cation in a ne-grained way ...
142
click to vote
CONCUR
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
122
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
While there is an increasing need to share data that may contain personal information, such data sharing must preserve individual privacy without disclosing any identifiable infor...
126
click to vote
DAC
1995
ACM
15 years 8 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...