4764 search results - page 488 / 953 » Applications of Error-Control Coding |
129
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
104
Voted
ECEASST
2006
15 years 4 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
124
click to vote
JLP
2008
15 years 4 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
159
click to vote
JMM2
2006
15 years 4 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...