7099 search results - page 324 / 1420 » Context for models of concurrency |
204
Voted
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
191
Voted
ECOOP
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
186
Voted
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
200
Voted
CONCURRENCY
2010
15 years 7 months ago
2010
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
174
Voted
CONCURRENCY
2008
15 years 7 months ago
2008
The exploration in many scientific disciplines (e.g., High-Energy Physics, Climate Modeling, and Life Sciences) involves the production and the analysis of massive data collection...