Sciweavers

7421 search results - page 325 / 1485
» In search of dependable design
Sort
View
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
16 years 4 days ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
213
Voted
EMSOFT
2003
Springer
16 years 2 days ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
EDBT
2010
ACM
184views Database» more  EDBT 2010»
15 years 8 months ago
PARINDA: an interactive physical designer for PostgreSQL
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
Cristina Maier, Debabrata Dash, Ioannis Alagiannis...
SIGIR
2002
ACM
15 years 6 months ago
User-centered interface design for cross-language information retrieval
This paper reports on the user-centered design methodology and techniques used for the elicitation of user requirements and how these requirements informed the first phase of the ...
Preben Hansen, Daniela Petrelli, Jussi Karlgren, M...
195
Voted
CPM
2005
Springer
116views Combinatorics» more  CPM 2005»
16 years 11 days ago
Exact and Approximation Algorithms for DNA Tag Set Design
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
Ion I. Mandoiu, Dragos Trinca