4880 search results - page 110 / 976 » Manuals as Structured Programs |
146
Voted
ANOR
2006
15 years 3 months ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
134
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
118
Voted
MPC
2000
Springer
15 years 7 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
119
click to vote
SETP
2007
15 years 4 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
137
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...