2253 search results - page 172 / 451 » An Approach to Specifying Software Frameworks |
120
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
128
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an...
140
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
168
click to vote
FIDJI
2003
Springer
15 years 9 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
140
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...