4880 search results - page 153 / 976 » Manuals as Structured Programs |
111
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
107
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
159
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
126
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
127
Voted
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...