1604 search results - page 21 / 321 » A Logical Viewpoint on Architectures |
151
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
149
click to vote
EUSFLAT
2001
15 years 7 months ago
2001
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
187
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel method to efficiently generate, compress and apply test patterns in a logic BIST architecture. Patterns are generated by a modified automatic test pattern gener...
165
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
In previous work, we showed the benefits and feasibility of having a processor dynamically partition its executing software such that critical software kernels are transparently p...
150
click to vote
FUZZIEEE
2007
IEEE
16 years 9 days ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...