2935 search results - page 339 / 587 » An Integrated Approach to High Integrity Software Verificati... |
179
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
We propose a parallel global routing algorithm that concurrently processes routing subproblems corresponding to rectangular subregions covering the chip area. The algorithm uses a...
170
click to vote
JMM2
2006
15 years 6 months ago
2006
Recently, Multimedia Broadcast Multicast Service (MBMS) has been specified by 3GPP as a Release 6 feature in order to meet the increasing demands of multimedia download and streami...
197
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
187
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
151
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Advances in multiprocessor interconnect technologyare leading to high performance networks. However, software overheadsassociated with message passing are limiting the processors ...