9444 search results - page 1570 / 1889 » The Language Model LMNtal |
243
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
208
Voted
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
170
click to vote
IWOMP
2007
Springer
16 years 26 days ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
199
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
189
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...