3093 search results - page 211 / 619 » The Multi-perspective Process Explorer |
107
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
148
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
Discovering co-expressed genes and coherent expression patterns in gene expression data is an important data analysis task in bioinformatics research and biomedical applications. ...
158
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
We present an area and delay estimator in the context of a compiler that takes in high level signal and image processing applications described in MATLAB and performs automatic de...
149
Voted
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
121
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...