6960 search results - page 682 / 1392 » Continuity Analysis of Programs |
213
click to vote
EOR
2006
15 years 7 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
220
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
202
click to vote
ECLIPSE
2006
ACM
16 years 1 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
209
click to vote
VSTTE
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
205
click to vote
CASES
2003
ACM
16 years 21 days ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...