1404 search results - page 35 / 281 » Increasing Concurrency in Databases Using Program Analysis |
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
97
Voted
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
100
click to vote
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
109
Voted
DEBU
2007
15 years 12 days ago
2007
Provenance is information that aids understanding and troubleshooting database queries by explaining the results in terms of the input. Slicing is a program analysis technique for...