2374 search results - page 379 / 475 » The language of machines |
FORTE
2009
13 years 7 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
ASPLOS
2011
ACM
13 years 28 days ago
2011
ACM
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static conï¬...
PPOPP
2011
ACM
13 years 4 days ago
2011
ACM
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...
EMNLP
2011
12 years 9 months ago
2011
We introduce a novel machine learning framework based on recursive autoencoders for sentence-level prediction of sentiment label distributions. Our method learns vector space repr...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...