Sciweavers

10891 search results - page 1573 / 2179
» Combining Model Reductions
Sort
View
FPGA
1995
ACM
120views FPGA» more  FPGA 1995»
15 years 9 months ago
Synthesis of Signal Processing Structured Datapaths for FPGAs Supporting RAMs and Busses
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...
Baher Haroun, Behzad Sajjadi
KBSE
1997
IEEE
15 years 9 months ago
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
David Pautler, Steven Woods, Alex Quilici
VLDB
1995
ACM
214views Database» more  VLDB 1995»
15 years 9 months ago
Dynamic Multi-Resource Load Balancing in Parallel Database Systems
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
Erhard Rahm, Robert Marek
CSFW
2010
IEEE
15 years 9 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
DAS
2010
Springer
15 years 9 months ago
Toward affine recognition of handwritten mathematical characters
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...
Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt
« Prev « First page 1573 / 2179 Last » Next »