7886 search results - page 346 / 1578 » An evaluation of bipartitioning techniques |
183
Voted
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
187
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
153
click to vote
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
We describe a novel coherent modulation filtering technique for single channel target talker enhancement in the presence of interfering talkers. For this technique, we have expan...
191
click to vote
ICST
2008
IEEE
16 years 2 months ago
2008
IEEE
Software-testing researchers have long sought recipes for test suites that detect faults well. In the literature, empirical studies of testing techniques abound, yet the ideal tec...
201
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...