9124 search results - page 210 / 1825 » Requirements-Based Design Evaluation |
126
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
132
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Finding the minimum column multiplicity for a bound set of variables is an important problem in Curtis decomposition. To investigate this problem, we compared two graphcoloring pr...
152
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
111
Voted
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, the system capacity of a multi-cell IEEE 802.16j system operating in transparent mode is investigated. A previous published analytical model is used and incorpor...
128
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
This paper discusses the concept of using head and facial feature tracking as an input mechanism for mobile devices. We present our concept and ideas, along with preliminary findi...