Search Sciweavers | Sciweavers

33

VOSS
2004
Springer

152views Mathematics» more VOSS 2004»

Symbolic Representations and Analysis of Large Probabilistic Systems

13 years 11 months ago

Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their eﬃciency by...

Andrew S. Miner, David Parker

claim paper

Read More »

12

click to vote

SIGCSE
2004
ACM

140views Education» more SIGCSE 2004»

CS1 assessment using memory diagrams

13 years 11 months ago

Download paws.wcu.edu

Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...

Mark A. Holliday, David Luginbuhl

claim paper

Read More »

11

click to vote

GRAPHICSINTERFACE
2004

98views Computer Graphics» more GRAPHICSINTERFACE 2004»

Interactive Image-Based Exploded View Diagrams

13 years 7 months ago

Download grail.cs.washington.edu

We present a system for creating interactive exploded view diagrams using 2D images as input. This imagebased approach enables us to directly support arbitrary rendering styles, e...

Wilmot Li, Maneesh Agrawala, David Salesin

claim paper

Read More »

11

click to vote

DATE
2004
IEEE

147views Hardware» more DATE 2004»

Formal Refinement and Model Checking of an Echo Cancellation Unit

13 years 9 months ago

Download www.immos-projekt.de

This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...

Alexander Krupp, Wolfgang Müller 0003, Ian Ol...

claim paper

Read More »

7

click to vote

SIGCSE
2004
ACM

95views Education» more SIGCSE 2004»

Scaffolding with object diagrams in first year programming classes: some unexpected results

13 years 11 months ago

Download users.aber.ac.uk

Lynda Thomas, Mark Ratcliffe, Benjy J. Thomasson

claim paper