1989 search results - page 144 / 398 » Set functions for functional logic programming |
103
click to vote
FPL
2005
Springer
15 years 8 months ago
2005
Springer
This work explores the effect of adding a timing driven functional decomposition step to the traditional field programmable gate array (FPGA) CAD flow. Once placement has comple...
102
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
154
click to vote
ISDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Proteins can be grouped into families according to some features such as hydrophobicity, composition or structure, aiming to establish common biological functions. This paper pres...
144
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
112
Voted
IOLTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Sets of Pairs of Functions to be Distinguished (SPFD) is a functional flexibility representation method that was recently introduced in the logic synthesis domain, and promises s...