1404 search results - page 26 / 281 » Increasing Concurrency in Databases Using Program Analysis |
91
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
94
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
82
Voted
ICCSA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...
117
Voted
TKDE
2002
15 years 1 days ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
1 This paper presents a methodology to develop more modular parallel applications, based on aspect oriented programming. Traditional object oriented mechanisms implement applicatio...