2935 search results - page 100 / 587 » An Integrated Approach to High Integrity Software Verificati... |
155
Voted
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
The Sony-Toshiba-IBM Cell Broadband Engine is a heterogeneous multicore architecture that consists of a traditional microprocessor (PPE) with eight SIMD coprocessing units (SPEs) ...
173
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
173
click to vote
RECOMB
2003
Springer
16 years 4 months ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
151
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
121
click to vote
IUI
1998
ACM
15 years 8 months ago
1998
ACM
Applications are often designed to take advantage of the potential for integration with each other via shared information. Current approaches for integration are limited, affectin...