Sciweavers

2786 search results - page 268 / 558
» A Practical Technique for Process Abstraction
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
A fast solution to robust minimum variance beamformer and application to simultaneous MEG and local field potential
Abstract—In this study, a robust minimum variance beamformer (RMVB) is employed for source reconstruction in simultaneous MEG and local field potential (LFP) measurements. RMVB ...
Hamid Reza Mohseni, Morten L. Kringelbach, Mark W....
SIGSOFT
2010
ACM
15 years 4 months ago
Software intelligence: the future of mining software engineering data
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
Ahmed E. Hassan, Tao Xie
DAC
2006
ACM
16 years 7 months ago
Standard cell characterization considering lithography induced variations
As VLSI technology scales toward 65nm and beyond, both timing and power performance of integrated circuits are increasingly affected by process variations. In practice, people oft...
Ke Cao, Sorin Dobre, Jiang Hu
MODELS
2010
Springer
15 years 5 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
16 years 4 days ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...