4752 search results - page 761 / 951 » Dependability in Web Software |
211
click to vote
CC
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
223
click to vote
TASE
2011
IEEE
14 years 11 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
203
click to vote
PEPM
2011
ACM
14 years 10 months ago
2011
ACM
Writing deterministic programs is often difficult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difficulty is also encounter...
156
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
210
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...