104 search results - page 8 / 21 » Generating and evaluating designs and plans for microwave mo... |
DAC
1999
ACM
15 years 4 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
FM
2001
Springer
15 years 4 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The Gulf Cooperation Council (GCC) is nearing the completion of a high voltage transmission system designed to integrate the power systems of Saudi Arabia, Kuwait, Bahrain, Qatar,...
FPL
2001
Springer
15 years 4 months ago
2001
Springer
This paper presents parameterized module-generators for pipelined function evaluation using lookup tables, adders, shifters and multipliers. We discuss trade-offs involved between...
100
click to vote
BCSHCI
1997
15 years 1 months ago
1997
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...