Sciweavers

1338 search results - page 194 / 268
» Consistent Code Generation from UML Models
Sort
View
TOG
2002
114views more  TOG 2002»
15 years 5 months ago
Shader-driven compilation of rendering assets
Rendering performance of consumer graphics hardware benefits from pre-processing geometric data into a form targeted to the underlying API and hardware. The various elements of ge...
Paul Lalonde, Eric Schenk
ASM
2010
ASM
16 years 20 days ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
FPL
2004
Springer
205views Hardware» more  FPL 2004»
15 years 11 months ago
A System Level Resource Estimation Tool for FPGAs
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
Changchun Shi, James Hwang, Scott McMillan, Ann Ro...
SMI
2006
IEEE
130views Image Analysis» more  SMI 2006»
16 years 6 days ago
Material-Aware Mesh Deformations
Most real world objects consist of non-uniform materials; as a result, during deformation the bending and shearing are distributed non-uniformly and depend on the local stiffness ...
Tiberiu Popa, Dan Julius, Alla Sheffer
IWCMC
2006
ACM
16 years 4 days ago
Analysis of mobile beacon aided in-range localization scheme in ad hoc wireless sensor networks
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...
T. V. Srinath, Anil Kumar Katti, V. S. Ananthanara...