Sciweavers

8067 search results - page 1451 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
FPGA
1997
ACM
145views FPGA» more  FPGA 1997»
15 years 11 months ago
Generation of Synthetic Sequential Benchmark Circuits
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
DAC
1996
ACM
15 years 11 months ago
A Sparse Image Method for BEM Capacitance Extraction
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
Byron Krauter, Yu Xia, E. Aykut Dengi, Lawrence T....
DAC
1994
ACM
15 years 11 months ago
Error Diagnosis for Transistor-Level Verification
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srini...
EWHCI
1993
15 years 11 months ago
The MSM Framework: A Design Space for Multi-Sensori-Motor Systems
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
Joëlle Coutaz, Laurence Nigay, Daniel Salber
ACSC
2009
IEEE
15 years 11 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
« Prev « First page 1451 / 1614 Last » Next »