3616 search results - page 261 / 724 » Conditional Memory Ordering |
152
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
149
Voted
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
143
click to vote
LOPSTR
1994
Springer
15 years 9 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
175
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
121
click to vote
AIPS
1996
15 years 6 months ago
1996
The principle of least commitment was embraced early in planning research. Hierarchical task networks (HTNs)reason about high-level tasks without committing to specific low-level ...