5235 search results - page 17 / 1047 » Analysis of Multithreaded Programs |
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...
124
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
102
click to vote
CLEAR
2007
Springer
15 years 3 months ago
2007
Springer
A speed performance improved vehicle tracking system on a given set of evaluation videos of a street surveillance system is presented. We implement multi-threading technique to mee...
123
click to vote
PSB
2001
15 years 2 months ago
2001
This paper discusses the issues involved in implementing a dynamic programming algorithm for biological sequence comparison on a generalpurpose parallel computing platform based o...
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...