1484 search results - page 95 / 297 » The Proteogenomic Mapping Tool |
154
click to vote
ACSD
2007
IEEE
16 years 16 days ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
151
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Emerging heterogeneous multiprocessors will have custom memory and bus architectures that must balance resource sharing and system partitioning to meet cost constraints. We propos...
168
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
177
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
172
click to vote
ISPA
2007
Springer
16 years 10 days ago
2007
Springer
The Cell processor is a typical example of a heterogeneous multiprocessor-on-chip architecture that uses several levels of parallelism to deliver high performance. Closing the gap ...