Sciweavers

4604 search results - page 709 / 921
» Concurrency in Synchronous Systems
Sort
View
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
14 years 12 months ago
BrainGazer - Visual Queries for Neurobiology Research
Abstract-- Neurobiology investigates how anatomical and physiological relationships in the nervous system mediate behavior. Molecular genetic techniques, applied to species such as...
Stefan Bruckner, Veronika Šoltészová, M. Edua...
OSDI
2008
ACM
14 years 11 months ago
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
EDBT
2008
ACM
130views Database» more  EDBT 2008»
14 years 11 months ago
Flexible Transaction Processing in the Argos Middleware
Transactional requirements, from new application domains and execution environments, are varying and may exceed traditional ACID properties. We believe that transactional middlewa...
Anna-Brith Arntsen, Marts Mortensen, Randi Karlsen...
ICSE
2004
IEEE-ACM
14 years 11 months ago
Imposing a Memory Management Discipline on Software Deployment
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
Eelco Dolstra, Eelco Visser, Merijn de Jonge
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
14 years 7 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan