4752 search results - page 595 / 951 » Dependability in Web Software |
179
click to vote
CODES
1998
IEEE
15 years 12 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
202
click to vote
LCPC
1999
Springer
15 years 12 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
179
click to vote
LCPC
1998
Springer
15 years 11 months ago
1998
Springer
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
206
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
225
click to vote
CC
1994
Springer
15 years 11 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...