Sciweavers

3468 search results - page 139 / 694
» Solid and physical modeling
Sort
View
JUCS
2000
102views more  JUCS 2000»
13 years 10 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
SMA
2009
ACM
149views Solid Modeling» more  SMA 2009»
14 years 4 months ago
A sketching interface for feature curve recovery of free-form surfaces
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...
Ellen Dekkers, Leif Kobbelt, Richard R. Pawlicki, ...
DNA
2006
Springer
143views Bioinformatics» more  DNA 2006»
14 years 6 days ago
A Framework for Modeling DNA Based Molecular Systems
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
Sudheer Sahu, Bei Wang, John H. Reif
MATA
2004
Springer
199views Communications» more  MATA 2004»
14 years 3 months ago
Configuration Management for Networked Reconfigurable Embedded Devices
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
Timothy O'Sullivan, Richard Studdert
CMPB
2010
96views more  CMPB 2010»
13 years 10 months ago
Towards real-time radiation therapy: GPU accelerated superposition/convolution
We demonstrate the use of highly parallel graphics processing units (GPUs) to accelerate the Superposition/Convolution (S/C) algorithm to interactive rates while reducing the numbe...
Robert Jacques, Russell Taylor, John Wong, Todd Mc...