3454 search results - page 109 / 691 » Modern computer algebra |
179
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
193
click to vote
PPAM
2007
Springer
16 years 9 days ago
2007
Springer
For about ten years now, Bo K˚agstr¨om’s Group in Umea, Sweden, Jerzy Wa´sniewski’s Team at Danish Technical University in Lyngby, Denmark, and I at IBM Research in Yorktown...
130
click to vote
ACS
2007
15 years 6 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
165
click to vote
DNA
2009
Springer
16 years 23 days ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
162
click to vote
JMLR
2010
15 years 29 days ago
2010
The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transfor...