107 search results - page 11 / 22 » Fault Localization with Non-parametric Program Behavior Mode... |
86
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
103
Voted
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
IEEEAMS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
70
Voted
HIPEAC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...