Sciweavers

1850 search results - page 350 / 370
» Design-for-debugging of application specific designs
Sort
View
ASPLOS
2008
ACM
13 years 9 months ago
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
ECCE
2007
13 years 9 months ago
Lateral control support for car drivers: a human-machine cooperation approach
Motivation – This paper is based on a research project which examines the way car drivers and automated devices cooperate to achieve lateral control of a vehicle. A theoretical ...
Jordan Navarro, Franck Mars, Jean-Michel Hoc
ATAL
2010
Springer
13 years 8 months ago
Strategy-proof allocation of multiple items between two agents without payments or priors
We investigate the problem of allocating items (private goods) among competing agents in a setting that is both prior-free and paymentfree. Specifically, we focus on allocating mu...
Mingyu Guo, Vincent Conitzer
BMCBI
2006
101views more  BMCBI 2006»
13 years 7 months ago
SuperMimic - Fitting peptide mimetics into protein structures
Background: Various experimental techniques yield peptides that are biologically active but have unfavourable pharmacological properties. The design of structurally similar organi...
Andrean Goede, Elke Michalsky, Ulrike Schmidt, Rob...
ASE
2004
137views more  ASE 2004»
13 years 7 months ago
Automatically Restructuring Programs for the Web
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
Jacob Matthews, Robert Bruce Findler, Paul T. Grau...