Sciweavers

1113 search results - page 91 / 223
» Counter Systems for Data Logics
Sort
View
TVLSI
2010
14 years 11 months ago
LOPASS: A Low-Power Architectural Synthesis System for FPGAs With Interconnect Estimation and Optimization
In this paper, we present a low-power architectural synthesis system (LOPASS) for field-programmable gate-array (FPGA) designs with interconnect power estimation and optimization. ...
Deming Chen, Jason Cong, Yiping Fan, Lu Wan
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 9 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
EUSFLAT
2009
142views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Multi-Dimensional Scaling applied to Hierarchical Rule Systems
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
Thomas R. Gabriel, Kilian Thiel, Michael R. Bertho...
FUZZY
1999
Springer
196views Fuzzy Logic» more  FUZZY 1999»
15 years 8 months ago
A Human Centered Architecture for Distributed Retrieval of Medical Images
In this paper we describe a distributed retrieval system for medical images based on a Human Centered Virtual Machine (HCVM). HCVM layered architecture allows indexing and retrieva...
R. Castelletti, Ernesto Damiani, Giovanni Righini,...
111
Voted
VLDB
1998
ACM
199views Database» more  VLDB 1998»
15 years 8 months ago
The ADABAS Buffer Pool Manager
The buffer pool manager is a central component of ADABAS, a high performance scaleable database system for OLTP processing. High efficiency and scalability of the buffer pool mana...
Harald Schöning