9110 search results - page 383 / 1822 » Formally-Based Design Evaluation |
192
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
A design tool for routing channel segmentation in islandstyle FPGAs is presented. Given the FPGA architecture parameters and a set of benchmark designs, the tool optimizes routing...
162
click to vote
CE
2008
15 years 6 months ago
2008
Design patterns have become a widely acknowledged software engineering practice and therefore have been incorporated in the curricula of most computer science departments. This pa...
190
click to vote
KBS
2006
15 years 6 months ago
2006
This paper presents a knowledge-intensive support paradigm for platform-based product family design and development. The fundamental issues underlying the product family design an...
161
click to vote
TOSEM
2010
15 years 5 months ago
2010
e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...
180
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
In addition to indexes and materialized views, horizontal and vertical partitioning are important aspects of physical design in a relational database system that significantly imp...