1390 search results - page 252 / 278 » A Methodology for Requirements Engineering Process Developme... |
83
Voted
GLVLSI
2010
IEEE
15 years 4 months ago
2010
IEEE
Next generation industrial embedded platforms require the development of complex power and thermal management solutions. Indeed, an increasingly fine and intrusive thermal contro...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
120
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
107
click to vote
VRST
2009
ACM
15 years 6 months ago
2009
ACM
In Volume Rendering, it is difficult to simultaneously visualize interior and exterior structures. Several approaches have been developed to solve this problem, such as cut-away ...
104
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the e...