4880 search results - page 99 / 976 » Manuals as Structured Programs |
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Targeted optimization of program segments can provide an additional program speedup over the highest default optimization level, such as -O3 in GCC. The key challenge is how to au...
120
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
149
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
136
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
102
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...