1961 search results - page 233 / 393 » PicoDBMS: Validation and Experience |
105
click to vote
VIS
2004
IEEE
16 years 28 days ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
DAC
2000
ACM
16 years 21 days ago
2000
ACM
This work focuses on congestion-driven placement of standard cells into rows in the fixed-die context. We summarize the stateof-the-art after two decades of research in recursive ...
123
click to vote
ICML
2000
IEEE
16 years 16 days ago
2000
IEEE
If all features causing heterogeneity were observed, a mixture of experts approach (Jacobs et al., 1991) is likely to be superior to using a single model. When unobserved or very n...
WWW
2004
ACM
16 years 12 days ago
2004
ACM
In the past few years, a number of constraint languages for XML documents has been proposed. They are cumulatively called schema languages or validation languages and they compris...
199
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...