3404 search results - page 537 / 681 » C Programming Tutorial |
CASES
2003
ACM
15 years 3 months ago
2003
ACM
Code size has always been an important issue for all embedded applications as well as larger systems. Code compression techniques have been devised as a way of battling bloated co...
ELPUB
2003
ACM
15 years 3 months ago
2003
ACM
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...
101
click to vote
CCS
2003
ACM
15 years 3 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
15 years 3 months ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
ICS
2003
Tsinghua U.
15 years 3 months ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...