2019 search results - page 136 / 404 » Programming with Shared Data Abstractions |
141
Voted
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
143
Voted
CEC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract— In this paper, we describe a method for discriminating between thyroid cell lines. Five commercial thyroid cell lines were obtained, ranging from non-cancerous to cance...
155
click to vote
PPSN
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
122
Voted
WCET
2007
15 years 3 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
118
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Parallel programs that modify shared data in a cachecoherent multiprocessor with a write-invalidate coherence protocol create ownership overhead in the form of ownership acquisiti...