224 search results - page 36 / 45 » Model-based runtime analysis of distributed reactive systems |
181
Voted
LCPC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
143
Voted
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
149
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
174
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
150
Voted
SOCIALCOM
2010
15 years 4 months ago
2010
Online popularity has enormous impact on opinions, culture, policy, and profits, especially with the advent of the social Web and Web advertising. Yet the processes that drive popu...