133 search results - page 13 / 27 » Toward optimized code generation through model-based optimiz... |
96
Voted
ENTCS
2002
15 years 2 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
117
click to vote
FPL
2008
Springer
15 years 3 months ago
2008
Springer
The objective of Molecular Dynamics (MD) simulations is to determine the shape of a molecule in a given biomolecular environment. These simulations are very demanding computationa...
106
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
Memory delays represent a major bottleneck in embedded systems performance. Newer memory modules exhibiting efficient access modes (e.g., page-, burst-mode) partly alleviate this ...
167
click to vote
CGF
2010
15 years 15 days ago
2010
A feature-oriented generic progressive lossless mesh coder (FOLProM) is proposed to encode triangular meshes with arbitrarily complex geometry and topology. In this work, a sequen...
139
Voted
EMSOFT
2010
Springer
15 years 5 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...