561 search results - page 110 / 113 » Alias Analysis of Executable Code |
191
Voted
EUROSYS
2010
ACM
16 years 2 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
199
Voted
INFOCOM
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract—Recently, distributed data storage has gained increasing popularity for efficient and robust data management in wireless sensor networks (WSNs). But the distributed arc...
138
Voted
CGO
2007
IEEE
16 years 4 days ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
196
Voted
FASE
2007
Springer
15 years 12 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
198
click to vote
ICS
2007
Tsinghua U.
15 years 12 months ago
2007
Tsinghua U.
Strassen’s matrix multiplication (MM) has benefits with respect to any (highly tuned) implementations of MM because Strassen’s reduces the total number of operations. Strasse...