1620 search results - page 152 / 324 » An Annotation-Based Framework for Parallel Computing |
160
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
179
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
In many application scenarios the database is changing quite rapidly. Because the management of such data is rather expensive and cumbersome, many applications like data warehouse...
148
click to vote
HIPC
1999
Springer
15 years 9 months ago
1999
Springer
An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented that is based on a semi-Markov model for the window ...
135
Voted
ECOOPW
1997
Springer
15 years 9 months ago
1997
Springer
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
137
click to vote
FIDJI
2004
Springer
15 years 8 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...