Sciweavers

3059 search results - page 4 / 612
» with Wide Functional Units
Sort
View
MICCAI
2009
Springer
14 years 7 months ago
Nonparametric Mean Shift Functional Detection in the Functional Space for Task and Resting-state fMRI
In functional Magnetic Resonance Imaging (fMRI) data analysis, normalization of time series is an important and sometimes necessary preprocessing step in many widely used methods. ...
Jian Cheng, Feng Shi, Kun Wang, Ming Song, Jiefeng...
FPGA
1998
ACM
146views FPGA» more  FPGA 1998»
13 years 11 months ago
Boolean Matching for Complex PLBs in LUT-based FPGAs with Application to Architecture Evaluation
In this paper, we developed Boolean matching techniques for complex programmable logic blocks (PLBs) in LUT-based FPGAs. A complex PLB can not only be used as a K-input LUT, but a...
Jason Cong, Yean-Yow Hwang
CHARME
2003
Springer
81views Hardware» more  CHARME 2003»
14 years 4 days ago
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP
Sven Beyer, Christian Jacobi 0002, Daniel Kroening...
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
14 years 1 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
SIGMOD
1998
ACM
95views Database» more  SIGMOD 1998»
13 years 6 months ago
Unbundling Active Functionality
Abstract New application areas or new technical innovations expect from database management systems more and more new functionality. However, adding functions to the DBMS as an int...
Stella Gatziu, Arne Koschel, Günter von B&uum...