228 search results - page 34 / 46 » Efficient symbolic multi-objective design space exploration |
IVS
2008
13 years 9 months ago
2008
We demonstrate and reflect upon the use of enhanced treemaps that incorporate spatial and temporal ordering for exploring a large multivariate spatio-temporal data set. The result...
ICMCS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper introduces an interface platform to visualize location-specific media on lightweight displays that are placed and moved over a two dimensional map. The position of each...
FPGA
2009
ACM
14 years 3 months ago
2009
ACM
Reconfigurable high-performance computing systems (RHPC) have been attracting more and more attention over the past few years. RHPC systems are a promising solution for accelerati...
FPGA
2006
ACM
14 years 19 days ago
2006
ACM
A key advantage of soft processors (processors built on an FPGA programmable fabric) over hard processors is that they can be customized to suit an application program's spec...
ATVA
2004
Springer
14 years 22 days ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...