Sciweavers

20655 search results - page 69 / 4131
» Exploring Software Systems
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 9 months ago
The Impact of Memory Models on Software Reliability in Multiprocessors
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
Alexander Jaffe, Thomas Moscibroda, Laura Effinger...
121
Voted
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
15 years 8 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
CHI
1999
ACM
15 years 6 months ago
SWEETPEA: Software Tools for Programmable Embodied Agents
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...
Michael Kaminsky, Paul Dourish, W. Keith Edwards, ...
ELPUB
2008
ACM
15 years 4 months ago
No Budget, No Worries: Free and Open Source Publishing Software in Biomedical Publishing
Open Medicine (http://www.openmedicine.ca) is an electronic open access, peer-reviewed general medical journal that started publication in April 2007. The editors of Open Medicine...
Tarek Loubani, Sally Murray, Claire Kendall, Anita...
CGO
2006
IEEE
15 years 8 months ago
Thread-Shared Software Code Caches
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...
Derek Bruening, Vladimir Kiriansky, Timothy Garnet...