3473 search results - page 168 / 695 » Aspect-Oriented Programming with C |
127
click to vote
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
In the previous work, the problem of nding gate delays to eliminate glitches has been solved by linear programs (LP) requiring an exponentially large number ofconstraints. By intr...
127
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
108
click to vote
SIAMJO
2008
15 years 4 months ago
2008
We give some new regularity conditions for Fenchel duality in separated locally convex vector spaces, written in terms of the notion of quasi interior and quasi-relative interior, ...
127
click to vote
PPL
2002
15 years 3 months ago
2002
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of the promised high performance of VIA, previous MPI imp...
116
click to vote
MP
2007
15 years 3 months ago
2007
The elastic-mode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the...