Sciweavers

133 search results - page 21 / 27
» Dissipativity properties of detailed models of synchronous g...
Sort
View
APLAS
2005
ACM
14 years 1 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
WOSP
1998
ACM
13 years 11 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
SMI
2005
IEEE
14 years 1 months ago
Stochastic Microgeometry for Displacement Mapping
Creating surfaces with intricate small-scale features (microgeometry) and detail is an important task in geometric modeling and computer graphics. We present a model processing me...
Craig A. Schroeder, David E. Breen, Christopher D....
CGF
1998
116views more  CGF 1998»
13 years 7 months ago
Importance Driven Texture Coordinate Optimization
Traditionally, texture coordinates have been generated based solely on the model’s geometry, often even before a model’s textures have been created. With the arrival of new te...
Peter-Pike J. Sloan, David M. Weinstein, J. Dean B...
CCGRID
2006
IEEE
14 years 1 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer