3454 search results - page 103 / 691 » Modern computer algebra |
115
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
GYRO solves the 5-dimensional gyrokinetic-Maxwell equations in shaped plasma geometry, using either a local (fluxtube) or global radial domain. It has been ported to a variety of...
131
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
RTA
2010
Springer
15 years 10 months ago
2010
Springer
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
181
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
299
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical pa...