1345 search results - page 175 / 269 » A Class of Logarithmic Integrals |
122
Voted
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...
126
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper describes a two-sweep control design method to stabilize the acrobot, an input-affine under-actuated system, at the upper equilibrium point. In the forward sweep, t...
164
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
140
click to vote
PPOPP
1990
ACM
15 years 8 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
151
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas; they are considered to be the essential building blocks in data exchange...