6953 search results - page 1076 / 1391 » Development Tools for Distributed Applications |
195
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
186
click to vote
IEEEPACT
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
186
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...
276
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
196
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...