949 search results - page 98 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
SIAMSC
2011
13 years 3 months ago
2011
Abstract. In this paper, we propose new adaptive local refinement (ALR) strategies for firstorder system least-squares (FOSLS) finite element in conjunction with algebraic multi...
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
Peer-to-peer Data Networks (PDNs) are large-scale, selforganizing, distributed query processing systems. Familiar examples of PDN are peer-to-peer file-sharing networks, which su...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
The temporal resolution of dynamic MRI can be increased by sampling a fraction of k-space in an interleaved fashion, which causes spatial and temporal aliasing. We describe algebr...
ICAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Automatic management of large-scale production systems requires a continuous monitoring service to keep track of the states of the managed system. However, it is challenging to ac...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...