Sciweavers

680 search results - page 72 / 136
» High-Level Data Races
Sort
View
RTAS
2010
IEEE
13 years 6 months ago
DARTS: Techniques and Tools for Predictably Fast Memory Using Integrated Data Allocation and Real-Time Task Scheduling
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...
Sangyeol Kang, Alexander G. Dean
ICSE
2008
IEEE-ACM
14 years 8 months ago
Dynamic detection of atomic-set-serializability violations
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
Christian Hammer, Julian Dolby, Mandana Vaziri, Fr...
DSN
2006
IEEE
14 years 2 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
CSDA
2008
67views more  CSDA 2008»
13 years 8 months ago
How useful are approximations to mean and variance of the index of dissimilarity?
Sociologists, demographers, and economists often use the index of dissimilarity, D, to describe the extent of racial, ethnic, spatial, or areal dissimilarity (or segregation) of d...
Madhuri S. Mulekar, John C. Knutson, Jyoti A. Cham...
IVS
2006
131views more  IVS 2006»
13 years 8 months ago
Understanding the dynamics of collaborative multi-party discourse
In this paper, we discuss the efforts underway at the Pacific Northwest National Laboratory in understanding the dynamics of multi-party discourse across a number of communication...
Andrew J. Cowell, Michelle L. Gregory, Joe Bruce, ...