5863 search results - page 291 / 1173 » On Model-Checking of P Systems |
180
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
214
click to vote
FTDCS
2003
IEEE
16 years 17 days ago
2003
IEEE
The exponential data growth rate of the Internet makes it increasingly difficult for people to find desired information in a timely fashion. Information filtering and dissemina...
175
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
182
click to vote
PDPTA
2004
15 years 8 months ago
2004
As the algorithms that are used to reconstruct medical images from measurable projection data continue to become mature, medical image reconstruction has remained an interesting a...
194
click to vote
IANDC
2010
15 years 5 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...