Henk Muller  Home/Search
Context Related
| cs.bris.ac.uk/~henkm/thesis.ps.gz carol.wins.uva.nl/...hesis_muller.ps.gz fwi.uva.nl/pub/com...thesis_muller.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bris.ac.uk/~henkm/ (more) From: carol.wins.uva.nl/~andy/mer...doc Homepages: H.Muller |
Rate this article:      (best)Comment on this article |
Abstract: ion and COncurrency) allows the designer to answer so called "what-if" questions, for example: "What if the width of the bus is doubled?" As the name explains, ART-DACO models are constructed around abstract data types. The various parts of the model run concurrent, but totally synchronously: a continuous time simulation is implemented (Section 2.1.2). It seems that this implementation decision is made because of the the limited application domain; only signal processing architectures are... (Update)
Context of citations to this paper: More
...Transform (DCT) B. Architecture modeling The Sesame architecture models are implemented in the discrete event simulation language Pearl [9]. This is a relatively small but powerful object based language which has specifically been designed with the purpose of (abstract)...
.... timing consequences of the events generated by an application model, are implemented in the Pearl discrete event simulation language [13]. This is a small but powerful object based language which provides easy construction of (abstract) architecture models and fast simulation....
Cited by: More
Performance Evaluation by Simulation - Hlavacs, Ueberhuber (2001) (Correct)
A High-Level Programming Paradigm for SystemC - Thompson, Pimentel (2004) (Correct)
Thunk Lifting: reducing the Heap Usage in an Implementation.. - Haydarlou, Hartel (1995) (Correct)
Active bibliography (related documents): More All
0.5: A Memory Controller for Access Interleaving over a single Rambus - Xanthaki (1994) (Correct)
0.2: Description of Timing Problems Using Petri Nets for.. - Altenbernd, Milczewski (1993) (Correct)
0.2: List Comprehensions and the Relational Calculus - Trinder, Wadler (1999) (Correct)
Similar documents based on text: More All
1.4: Incremental Rewriting - van der Meulen (1994) (Correct)
1.3: Transformation And Analysis Of (constraint) Logic Programs - Etalle (1995) (Correct)
1.3: Persistence in Algebraic Specifications - Wiedijk (1991) (Correct)
Related documents from co-citation: More All
6: Design considerations for a parallel reduction machine (context) - Vree - 1989
6: Mermaid: Modelling and Evaluation Research in MIMD ArchItecture Design - Pimentel, van Brummen et al. - 1995
5: The torus routing chip (context) - Dally, Seitz - 1986
BibTeX entry: (Update)
H. L. Muller, (1993). Simulating computer architectures. PhD thesis, Dept. of Comp. Sys, Univ. of Amsterdam, February 26. http://citeseer.ist.psu.edu/muller93simulating.html More
@misc{ muller93simulating,
author = "Henk Muller",
title = "Simulating computer architectures",
text = "H. L. Muller, (1993). Simulating computer architectures. PhD thesis, Dept.
of Comp. Sys, Univ. of Amsterdam, February 26.",
year = "1993",
url = "citeseer.ist.psu.edu/muller93simulating.html" }
Citations (may not include all citations):159 Principles of CMOS VLSI Design, A systems Perspective (context) - Weste, Eshraghian - 1985
88 A survey of cache coherence schemes for multiprocessors (context) - Stenstrom - 1990
70 Cache Memories (context) - Smith - 1982
32 Data Diffusion Machine -- A scalable shared virtual memory m.. (context) - Warren, Haridi - 1988
25 Design considerations for a parallel reduction machine (context) - Vree - 1989
13 Performance Analysis of Hierarchical Cache-Consistent Multip.. (context) - Vernon, Jog et al. - 1989
9 A class of compatible cache consistency protocols and their .. (context) - Sweazy, Smith - 1986
8 Goalie: A Space Efficient System for VLSI Artwork Analysis (context) - Szymanski, Van Wyk - 1985
4 Research software Limited (context) - Manual - 1990
4 ATV: an abstract timing verifier (context) - Wallace, Sequin - 1988
2 Gateway design automation corporation (context) - manual - 1989
1 Back end aspects of the portable POOL implementation (context) - Spek - 1991
1 The POOMA architecture (context) - Vlot - 1991
1 De implementatie van een compiler voor de simulatietaal Pear.. (context) - Stil - 1989
1 Synthetic traces for tracedrive simulation of cache memories (context) - Thiebaut, Wolf et al. - 1992
1 MULGA-An interactive symbolic layout system for the design o.. (context) - Weste - 1981
1 Using and Porting the GNU C-compiler (context) - Stallman - 1988
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC