1636 search results - page 147 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
206
click to vote
TVLSI
2008
15 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
190
click to vote
ESWA
2008
15 years 6 months ago
2008
We address the problem of integrating web taxonomies from different real Internet applications. Integrating web taxonomies is to transfer instances from a source to target taxonom...
147
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Design space exploration during high level synthesis is often conducted through ad-hoc probing of the solution space using some scheduling algorithm. This is not only time consumi...
160
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
215
click to vote
DILS
2008
Springer
15 years 8 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...