Sciweavers

903 search results - page 52 / 181
» Completeness Results for Memory Logics
Sort
View
SOSP
1993
ACM
13 years 10 months ago
The Logical Disk: A New Approach to Improving File Systems
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsi...
PARLE
1987
14 years 7 days ago
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
Peter H. Welch
UCS
2007
Springer
14 years 2 months ago
D-FLER - A Distributed Fuzzy Logic Engine for Rule-Based Wireless Sensor Networks
Abstract. We propose D-FLER, a distributed, general-purpose reasoning engine for WSN. D-FLER uses fuzzy logic for fusing individual and neighborhood observations, in order to produ...
Mihai Marin-Perianu, Paul J. M. Havinga
ASPDAC
2006
ACM
95views Hardware» more  ASPDAC 2006»
14 years 2 months ago
A fast logic simulator using a look up table cascade emulator
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...
Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
14 years 2 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil