2853 search results - page 470 / 571 » On Coherence in Computer Algebra |
167
click to vote
ACSC
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
170
click to vote
ICCAD
2005
IEEE
16 years 11 days ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
210
click to vote
ISORC
2005
IEEE
16 years 10 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
164
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
179
Voted
SC
2005
ACM
16 years 9 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...