3454 search results - page 152 / 691 » Modern computer algebra |
208
click to vote
TC
2008
15 years 6 months ago
2008
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
179
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
205
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
184
click to vote
RTAS
2006
IEEE
16 years 14 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
157
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...