8766 search results - page 405 / 1754 » Functional logic programming |
150
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
Traditional FPGA design flows have treated logic synthesis and physical design as separate steps. With the recent advances in technology, the lack of information on the physical ...
248
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
158
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
127
Voted
IJIT
2004
15 years 5 months ago
2004
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
116
click to vote
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Boolean matching for multiple-output functions determines whether two given (in)completely-specified function vectors can be identical to each other under permutation and/or negat...