6926 search results - page 13 / 1386 » A More Effective CEFF |
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Antenna diversity is an effective technique for improving the transmission performance in a multi-path fading channel. Recently, we proposed the space-time block coded-joint tra...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper extends previous research by proposing a model that can help explain ways to motivate member contributions to online communities (OCs). New features in the model will a...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...