Sciweavers

840 search results - page 48 / 168
» A low-complexity issue logic
Sort
View
91
Voted
ISCI
2010
103views more  ISCI 2010»
14 years 11 months ago
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into acco...
Carles Noguera, Francesc Esteva, Lluis Godo
FPGA
2007
ACM
185views FPGA» more  FPGA 2007»
15 years 6 months ago
Power-aware FPGA logic synthesis using binary decision diagrams
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
Kevin Oo Tinmaung, David Howland, Russell Tessier
102
Voted
ISSTA
1989
ACM
15 years 4 months ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
99
Voted
ICWS
2003
IEEE
15 years 1 months ago
Application of Linear Logic to Web Service Composition
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
Jinghai Rao, Peep Küngas, Mihhail Matskin
112
Voted
FUIN
2008
147views more  FUIN 2008»
15 years 17 days ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke