10055 search results - page 328 / 2011 » Structured programming using processes |
105
click to vote
CIDM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Protecting and securing sensitive information are critical challenges for businesses. Deliberate and intended actions such as malicious exploitation, theft or destruction of dat...
101
click to vote
ASE
2006
15 years 21 days ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
112
Voted
CADE
2008
Springer
16 years 29 days ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
108
Voted
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
PLDI
1994
ACM
15 years 4 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...