3128 search results - page 551 / 626 » Finite element method |
156
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
130
click to vote
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
139
click to vote
ADC
2004
Springer
15 years 7 months ago
2004
Springer
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...
135
click to vote
ATS
2004
IEEE
15 years 7 months ago
2004
IEEE
Logical reversibility occurs in low-power applications and is an essential feature of quantum circuits. Of special interest are reversible circuits constructed from a class of rev...
122
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...