Publications associées à History of anthropometry

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

A simple model of mechanical effects to estimate metabolic cost of human walking

Auke Ijspeert, Salman Faraji, Amy Roning Wu

Since the advent of energy measurement devices, gait experiments have shown that energetic economy has a large influence on human walking behavior. However, few cost models have attempted to capture the major energy components under comprehensive walking c ...

Nature Publishing Group2018

An Adaptive Neuromuscular Controller for Assistive Lower-Limb Exoskeletons: A Preliminary Study on Subjects with Spinal Cord Injury

Auke Ijspeert, Florin Dzeladini, Amy Roning Wu, Tycho Jan Henricus Brug

Versatility is important for a wearable exoskeleton controller to be responsive to both the user and the environment. These characteristics are especially important for subjects with spinal cord injury (SCI), where active recruitment of their own neuromusc ...

Frontiers Research Foundation2017

Automated Classification of Data Races Under Both Strong and Weak Memory Models

George Candea, Cristian Zamfir, Baris Can Cengiz Kasikci

Data races are one of the main causes of concurrency problems in multithreaded programs. Whether all data races are bad, or some are harmful and others are harmless, is still the subject of vigorous scientific debate [Narayanasamy et al. 2007; Boehm 2012]. ...

Assoc Computing Machinery2015

Data Races vs. Data Race Bugs: Telling the Difference with Portend

George Candea, Cristian Zamfir, Baris Can Cengiz Kasikci

Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like finding a needle in a haystack: 76%-90% of the true data races reported by sta ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2012

CoRD: A Collaborative Framework for Distributed Data Race Detection

George Candea, Cristian Zamfir, Baris Can Cengiz Kasikci

Modern concurrent software is riddled with data races and these races constitute the source of many problems. Data races are hard to detect accurately before software is shipped and, once they cause failures in production, developers find it challenging to ...

Usenix2012

Accurately Classifying Data Races with Portend

George Candea, Cristian Zamfir, Baris Can Cengiz Kasikci

Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Eliminating all data races from programs is impractical (e.g., system performance could suffer severely), yet spotting just the harmful ones ...

2011

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

History of anthropometry

Degrees of Separation: A Flexible Type System for Safe Concurrency

A simple model of mechanical effects to estimate metabolic cost of human walking

An Adaptive Neuromuscular Controller for Assistive Lower-Limb Exoskeletons: A Preliminary Study on Subjects with Spinal Cord Injury

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs

Data Races vs. Data Race Bugs: Telling the Difference with Portend

CoRD: A Collaborative Framework for Distributed Data Race Detection

Accurately Classifying Data Races with Portend

Graph Chatbot

Chattez avec Graph Search

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Accurately Classifying Data Races with Portend

Data Races vs. Data Race Bugs: Telling the Difference with Portend

CoRD: A Collaborative Framework for Distributed Data Race Detection

Degrees of Separation: A Flexible Type System for Safe Concurrency

An Adaptive Neuromuscular Controller for Assistive Lower-Limb Exoskeletons: A Preliminary Study on Subjects with Spinal Cord Injury

A simple model of mechanical effects to estimate metabolic cost of human walking

Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs