1390 search results - page 216 / 278 » On the Algebraic Structure of Convergence |
175
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Current data warehouse and OLAP technologies can be applied to analyze the structured data that companies store in their databases. The circumstances that describe the context ass...
131
click to vote
CATS
2008
15 years 7 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
134
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
164
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
We prove that binary linear concatenated codes with an outer algebraic code (specifically, a folded Reed-Solomon code) and independently and randomly chosen linear inner codes ach...
167
click to vote
CSC
2006
15 years 7 months ago
2006
- Two software packages for solving sparse systems of linear equations, SuperLU and UMFPACK, have been integrated with the University of Maine Ice Sheet Model for predicting the fo...