3824 search results - page 679 / 765 » Geometry Constructions Language |
HPDC
2000
IEEE
14 years 10 days ago
2000
IEEE
The Internet and the Grid are changing the face of high performance computing. Rather than tightly-coupled SPMD-style components running in a single cluster, on a parallel machine...
WCRE
2000
IEEE
14 years 9 days ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
CONCUR
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
COMPSAC
1999
IEEE
14 years 7 days ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
DSRT
1999
IEEE
14 years 7 days ago
1999
IEEE
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...