2237 search results - page 233 / 448 » Advanced Prosody Modelling |
137
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
124
click to vote
ISCA
1996
IEEE
15 years 8 months ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
116
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
187
Voted
ISCA
1993
IEEE
15 years 8 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...
146
click to vote
SIGGRAPH
1992
ACM
15 years 8 months ago
1992
ACM
We describe and demonstrate an algorithm that takes as input an unorganized set of points fx1; : : : ; xng IR3 on or near an unknown manifold M, and produces as output a simplicia...