325 search results - page 54 / 65 » Analysis of the constraint proposal method for two-party neg... |
ICFEM
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
BMCBI
2008
13 years 7 months ago
2008
Background: Modelling the time-related behaviour of biological systems is essential for understanding their dynamic responses to perturbations. In metabolic profiling studies, the...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
In this paper we propose a RObust Analog Design tool (ROAD) for post-tuning analog/RF circuits. Starting from an initial design derived from hand analysis or analog circuit synthe...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The vulnerable air interface, device level constraints, and insecure encryption techniques of wireless networks have naturally increased the chance of attacker obtaining users inf...
CF
2005
ACM
13 years 9 months ago
2005
ACM
Microprocessor trends are moving towards wider architectures and more aggressive speculation. With the increasing transistor budgets, energy consumption has become a critical desi...