443 search results - page 9 / 89 » More on the Size of Higman-Haines Sets: Effective Constructi... |
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
— In today’s VLSI designs, there can be many blockages in a routing region. The obstacle-avoiding rectilinear Steiner minimum tree (OARSMT) problem has become an important prob...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Block-level sampling is far more efficient than true uniform-random sampling over a large database, but prone to significant errors if used to create database statistics. In this ...
INFSOF
2000
13 years 7 months ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...