693 search results - page 78 / 139 » Test of Future System-on-Chips |
135
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
174
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...
166
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
144
click to vote
ACIIDS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Bandwidth allocation is a fundamental problem in communication networks. With current network moving towards the Future Internet model, the problem is further intensified as net...
151
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Research has identified the potential and challenges of information sharing in government settings mostly within the context of a single country. The challenges facing inter-gover...