418 search results - page 66 / 84 » Parallel Computation in Biological Sequence Analysis |
139
Voted
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
135
click to vote
WSC
2008
15 years 7 months ago
2008
This paper addresses a surgery rooms scheduling problem. The problem is modeled as a parallel machine scheduling problem with sequence dependent setup times and an objective of mi...
145
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we propose a network intrusion detectio...
137
Voted
SPAA
2003
ACM
15 years 10 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
156
Voted
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...