Sciweavers

805 search results - page 138 / 161
» Semantics-based code search
Sort
View
TWC
2008
100views more  TWC 2008»
13 years 7 months ago
Generalized feedback detection for spatial multiplexing multi-antenna systems
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
Tao Cui, Chintha Tellambura
CPHYSICS
2004
79views more  CPHYSICS 2004»
13 years 7 months ago
Hybrid kinetic-MHD simulations in general geometry
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
Charlson C. Kim, Carl R. Sovinec, Scott E. Parker
ENTCS
2002
97views more  ENTCS 2002»
13 years 7 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
MICRO
2002
IEEE
121views Hardware» more  MICRO 2002»
13 years 7 months ago
Convergent scheduling
Convergent scheduling is a general framework for instruction scheduling and cluster assignment for parallel, clustered architectures. A convergent scheduler is composed of many ind...
Walter Lee, Diego Puppin, Shane Swenson, Saman P. ...
ICST
2010
IEEE
13 years 5 months ago
Longer is Better: On the Role of Test Sequence Length in Software Testing
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
Andrea Arcuri