Sciweavers

9110 search results - page 387 / 1822
» Formally-Based Design Evaluation
Sort
View
170
Voted
ICDE
2008
IEEE
148views Database» more  ICDE 2008»
16 years 1 months ago
Automated physical design in database caches
Abstract— Performance of proxy caches for database federations that serve a large number of users is crucially dependent on its physical design. Current techniques, automated or ...
Tanu Malik, Xiaodan Wang, Randal C. Burns, Debabra...
BIBE
2007
IEEE
108views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
On the Design of Oligos for Gene Synthesis
— Methods for reliable synthesis of long genes offer great promise for protein synthesis via expression of synthetic genes, with applications to improved analysis of protein stru...
Chris Thachuk, Anne Condon
GECCO
2005
Springer
160views Optimization» more  GECCO 2005»
16 years 7 days ago
Designing resilient networks using a hybrid genetic algorithm approach
As high-speed networks have proliferated across the globe, their topologies have become sparser due to the increased capacity of communication media and cost considerations. Relia...
Abdullah Konak, Alice E. Smith
ASSETS
2004
ACM
16 years 4 days ago
Designing a cognitive aid for the home: a case-study approach
Cognitive impairments play a large role in the lives of surviviors of mild traumatic brain injuries who are unable to return to their prior level of independence in their homes. C...
Jessica Paradise, Elizabeth D. Mynatt, Cliff Willi...
DATE
2003
IEEE
134views Hardware» more  DATE 2003»
16 years 5 hour ago
A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Ri...