2062 search results - page 342 / 413 » Derivatives of Logical Formulas |
133
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
Process variations cause different behavior of timingdependent effects across different chips. In this work, we analyze one example of timing-dependent effects, crosscoupling ...
156
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
150
click to vote
SAC
2010
ACM
16 years 14 days ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
151
click to vote
ICNP
2009
IEEE
16 years 8 days ago
2009
IEEE
—Routing protocols are implemented in the form of software running on a general-purpose microprocessor. However, conventional software-based router architectures face significan...
159
Voted
ICSM
2009
IEEE
16 years 8 days ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...