Sciweavers

1338 search results - page 194 / 268
» Consistent Code Generation from UML Models
Sort
View
140
Voted
TOG
2002
114views more  TOG 2002»
15 years 3 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
153
Voted
ASM
2010
ASM
15 years 10 months 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...
149
Voted
FPL
2004
Springer
205views Hardware» more  FPL 2004»
15 years 9 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...
116
Voted
SMI
2006
IEEE
130views Image Analysis» more  SMI 2006»
15 years 9 months 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
143
Voted
IWCMC
2006
ACM
15 years 9 months 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...