34181 search results - page 619 / 6837 » The Computer System GRAPHOGRAPH |
152
Voted
DAC
1999
ACM
15 years 10 months ago
1999
ACM
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...
151
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper proposes a new memory system called shuffle memory. The shuffle memory is a generalization of transposition memory that has been widely used in 2-D Discrete Cosine Tran...
145
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
131
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
142
click to vote
ACL
2012
13 years 8 months ago
2012
We demonstrate a web-based environment for development and testing of different pedestrian route instruction-giving systems. The environment contains a City Model, a TTS interface...