4346 search results - page 618 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
152
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
129
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
Multicore architectures featuring specialized accelerators are getting an increasing amount of attention, and this success will probably influence the design of future High Perfor...
147
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Several in silico methods exist that were developed to predict protein interactions from the copious amount of genomic and proteomic data. One of these methods is Doma...
144
Voted
FAC
2007
15 years 4 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
147
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...