1188 search results - page 76 / 238 » Design space exploration revisited |
175
Voted
SEKE
2007
Springer
16 years 7 days ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...
117
click to vote
ERSA
2008
15 years 7 months ago
2008
Projected computational requirements for future space missions are outpacing technologies and trends in conventional embedded microprocessors. In order to meet the necessary levels...
135
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Tangible Comics is a computer vision based full-body interactive storytelling environment that also functions as a comics generator. Prevailing applications of full-body computer ...
287
click to vote
AIEDAM
2011
15 years 1 months ago
2011
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
157
Voted
HVC
2005
Springer
15 years 11 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...