6274 search results - page 271 / 1255 » Proofs, Programs, Processes |
169
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
171
click to vote
LR
2011
14 years 9 months ago
2011
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...
173
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
184
click to vote
CSMR
2006
IEEE
16 years 19 days ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
172
click to vote
DEXAW
2005
IEEE
16 years 5 days ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...