Sciweavers

9059 search results - page 269 / 1812
» The design of eco-feedback technology
Sort
View
ISCA
1996
IEEE
103views Hardware» more  ISCA 1996»
15 years 11 months ago
Evaluation of Design Alternatives for a Multiprocessor Microprocessor
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
Basem A. Nayfeh, Lance Hammond, Kunle Olukotun
EKAW
1992
Springer
15 years 11 months ago
Knowledge Acquisition for Explainable, Multi-Expert, Knowledge-Based Design Systems
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
Rose Dieng, Alain Giboin, Paul-André Tourti...
FMCAD
2006
Springer
15 years 11 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
DOLAP
2005
ACM
15 years 9 months ago
Goal-oriented requirement analysis for data warehouse design
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One of the reasons for this is that requireme...
Paolo Giorgini, Stefano Rizzi, Maddalena Garzetti
WALTD
2008
109views Education» more  WALTD 2008»
15 years 8 months ago
Inclusive, Adaptive Design for Students with Severe Learning Disabilities
Young adults with severe disabilities and learning difficulties (SLD) have very limited access to appropriate learning resources. Their unique individual needs and requirements pr...
Matt Harrison, Claire Stockton