Sciweavers

36320 search results - page 240 / 7264
» From Code to Models
Sort
View
CODES
2005
IEEE
16 years 5 days ago
Automatic network generation for system-on-chip communication design
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
AOSE
2004
Springer
15 years 12 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
MEMOCODE
2003
IEEE
15 years 11 months ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
DSVIS
2003
Springer
15 years 11 months ago
Architectures for Widget-Level Plasticity
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
Baha Jabarin, T. C. Nicholas Graham
SIGGRAPH
2000
ACM
15 years 11 months ago
Progressive geometry compression
We propose a new progressive compression scheme for arbitrary topology, highly detailed and densely sampled meshes arising from geometry scanning. We observe that meshes consist o...
Andrei Khodakovsky, Peter Schröder, Wim Sweld...