Sciweavers

8196 search results - page 1289 / 1640
» Computational Modeling and Complexity Science
Sort
View
ICS
2010
Tsinghua U.
16 years 2 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
IPPS
2010
IEEE
15 years 3 months ago
PreDatA - preparatory data analytics on peta-scale machines
Peta-scale scientific applications running on High End Computing (HEC) platforms can generate large volumes of data. For high performance storage and in order to be useful to scien...
Fang Zheng, Hasan Abbasi, Ciprian Docan, Jay F. Lo...
GI
2007
Springer
15 years 11 months ago
Modellgetriebene Entwicklung von grafischen Benutzerschnittstellen
: Der Ansatz der modellgetriebenen Softwareentwicklung fokussiert die Entwicklung von Software durch deren Modellierung und einer anschließenden Transformation auf den Quellcode d...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...
GI
2005
Springer
15 years 10 months ago
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme
: Das SPI-Modell dient zur Repr¨asentation von heterogenen eingebetteten Systemen. Basierend auf diesem Modell wurde in einem Forschungsverbund zwischen der TU Braunschweig, der U...
Christian Haubelt, Marek Jersak, Kai Richter, Kars...
SCA
2007
15 years 7 months ago
Liquid simulation on lattice-based tetrahedral meshes
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
Nuttapong Chentanez, Bryan E. Feldman, Franç...
« Prev « First page 1289 / 1640 Last » Next »