Sciweavers

790 search results - page 72 / 158
» Abstract modeling for engineering and engagement level simul...
Sort
View
TOG
2002
114views more  TOG 2002»
13 years 8 months ago
A procedural approach to authoring solid models
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....
Barbara Cutler, Julie Dorsey, Leonard McMillan, Ma...
CN
2006
60views more  CN 2006»
13 years 9 months ago
On the efficiency of fluid simulation of networks
Performance evaluation of computer networks through traditional packet-level simulation is becoming increasingly difficult as networks grow in size along different dimensions. Due...
Daniel R. Figueiredo, Benyuan Liu, Yang Guo, James...
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 5 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
MICCAI
2008
Springer
14 years 10 months ago
Kinetic Modeling Based Probabilistic Segmentation for Molecular Images
Abstract. We propose a semi-supervised, kinetic modeling based segmentation technique for molecular imaging applications. It is an iterative, self-learning algorithm based on uncer...
Ahmed Saad, Benjamin Smith 0002, Ghassan Hamarneh,...
PATMOS
2007
Springer
14 years 3 months ago
Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
Henrik Lipskoch, Karsten Albers, Frank Slomka