Sciweavers

628 search results - page 47 / 126
» Magic Counting Methods
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
Detection of auditory stimulus onset in the Pontine Nucleus using a multichannel multi-unit activity electrode
This paper discusses a real time stimulus timing detection for a Brain-Machine-Interface (BMI). We present a low complexity detector for detecting the stimulus onset time from rea...
Majd Zreik, Ytai Ben-Tsvi, Aryeh Taub, Rakefet Ofe...
EDBT
2012
ACM
224views Database» more  EDBT 2012»
11 years 10 months ago
Aggregate queries on probabilistic record linkages
Record linkage analysis, which matches records referring to the same real world entities from different data sets, is an important task in data integration. Uncertainty often exi...
Ming Hua, Jian Pei
VSTTE
2005
Springer
14 years 1 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
DAC
2002
ACM
14 years 9 months ago
Timed compiled-code simulation of embedded software for performance analysis of SOC design
In this paper, a new timing generation method is proposed for the performance analysis of embedded software. The time stamp generation of I/O accesses is crucial to performance es...
Jong-Yeol Lee, In-Cheol Park
EURODAC
1995
IEEE
195views VHDL» more  EURODAC 1995»
13 years 11 months ago
A hardware/software partitioning algorithm for pipelined instruction set processor
This paper proposes a new method to design an optimal instruction set for pipelined ASIP development using a formal HW/SW codesign methodology. The codesign task addressed in this...
Binh Ngoc Nguyen, Masaharu Imai, Nobuyuki Hikichi