3082 search results - page 521 / 617 » Deviation Analysis: A New Use of Model Checking |
145
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
127
Voted
HPCA
2003
IEEE
16 years 4 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
105
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
—A common problem in many areas of behavioral research is the analysis of the large volume of data recorded during the execution of the tasks being studied. Recent work has propo...
121
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— A new call admission control (CAC) strategy based on the soft capacity constraint (SCC) concept is proposed for CDMA cellular systems. The use of the SCC concept allows maximiz...
148
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...