2881 search results - page 537 / 577 » Model Checking for Programming Languages using Verisoft |
112
click to vote
LOBJET
2006
15 years 1 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
162
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
113
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
To make efficient use of CMPs with tens to hundreds of cores, it is often necessary to exploit fine-grain parallelism. However, managing tasks of a few thousand instructions is ...
138
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
130
click to vote
MICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...