2834 search results - page 174 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
160
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
173
click to vote
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
15 years 6 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
181
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
187
click to vote
IS
2010
15 years 5 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
175
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...