Sciweavers

6768 search results - page 326 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
FMCAD
2007
Springer
15 years 10 months ago
Improved Design Debugging Using Maximum Satisfiability
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
Sean Safarpour, Hratch Mangassarian, Andreas G. Ve...
172
Voted
GLOBECOM
2009
IEEE
16 years 1 months ago
Statistical Modeling of Co-Channel Interference
—With increasing spatial reuse of the radio spectrum, co-channel interference is becoming the dominant noise source and may severely degrade the communication performance of wire...
Kapil Gulati, Aditya Chopra, Brian L. Evans, Keith...
ACSC
2006
IEEE
16 years 23 days ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
ICIP
2003
IEEE
16 years 8 months ago
Design of Q-shift complex wavelets for image processing using frequency domain energy minimization
This paper proposes a new method of designing finitesupport wavelet filters, based on minimization of energy in key parts of the frequency domain. In particular this technique is ...
Nick G. Kingsbury
DFT
2007
IEEE
123views VLSI» more  DFT 2007»
16 years 1 months ago
Checker Design for On-line Testing of Xilinx FPGA Communication Protocols
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
Martin Straka, Jiri Tobola, Zdenek Kotásek