34181 search results - page 612 / 6837 » The Computer System GRAPHOGRAPH |
164
click to vote
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
158
click to vote
HPDC
1998
IEEE
15 years 9 months ago
1998
IEEE
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing largescale computation. The...
126
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
132
click to vote
AIS
2000
Springer
15 years 5 months ago
2000
Springer
Interface design normally follows the traditional approach of Art and Design, which requires reworking to refine an idea through visual playfulness until a solution has been achiev...
123
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...