Search Sciweavers | Sciweavers

25

VIS
2007
IEEE

125views Visualization» more VIS 2007»

High-Quality Multimodal Volume Rendering for Preoperative Planning of Neurosurgical Interventions

14 years 11 months ago

Surgical approaches tailored to an individual patient's anatomy and pathology have become standard in neurosurgery. Precise preoperative planning of these procedures, however,...

Johanna Beyer, Markus Hadwiger, Stefan Wolfsberg...

claim paper

Read More »

28

click to vote

COGSR
2011

75views more COGSR 2011»

A memory for goals model of sequence errors

13 years 5 months ago

Download www.nrl.navy.mil

We propose a model of routine sequence actions based on the Memory for Goals model. The model presents a novel process description for both perseveration and anticipation errors, ...

J. Gregory Trafton, Erik M. Altmann, Raj M. Ratwan...

claim paper

Read More »

29

click to vote

3DIC
2009
IEEE

169views Hardware» more 3DIC 2009»

3-D memory organization and performance analysis for multi-processor network-on-chip architecture

14 years 3 months ago

Download web.it.kth.se

Several forms of processor memory organizations have been in use to optimally access off-chip memory systems mainly the Hard disk drives (HDD). Recent trends show that the solid s...

Awet Yemane Weldezion, Zhonghai Lu, Roshan Weerase...

claim paper

Read More »

48

click to vote

JAR
2008

124views more JAR 2008»

Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations

13 years 10 months ago

Download cristal.inria.fr

This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...

Xavier Leroy, Sandrine Blazy

claim paper

Read More »

28

click to vote

WSC
1993

115views Modeling And Simulation» more WSC 1993»

Object-oriented memory management in DEVSIM++

13 years 11 months ago

Download sim.kaist.ac.kr

Young C. Kim, Kyung S. Ham, Tag G. Kim

claim paper