5241 search results - page 610 / 1049 » Embedded Programming with C |
142
click to vote
SIAMJO
2010
15 years 3 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
121
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
111
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
109
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
231
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...