4722 search results - page 899 / 945 » Encoding Program Executions |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
ISSTA
2010
ACM
13 years 10 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
BMCBI
2008
13 years 10 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
BMCBI
2008
13 years 10 months ago
2008
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...