3404 search results - page 380 / 681 » C Programming Tutorial |
109
Voted
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
119
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
163
Voted
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
121
Voted
IEEEINTERACT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper introduces a method for improving program run-time performance by gathering work in an application and executing it efficiently in an integrated thread. Our methods ext...
130
Voted
IFL
2003
Springer
15 years 8 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...