10910 search results - page 108 / 2182 » Input modeling using a computer algebra system |
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
108
click to vote
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
ANSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
100
click to vote
SMILE
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
COMPGEOM
2008
ACM
14 years 11 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...