4854 search results - page 129 / 971 » It's the Programming, Stupid |
200
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
128
click to vote
GRC
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
165
click to vote
EOR
2010
15 years 6 months ago
2010
We consider the unrelated parallel machines scheduling problem where jobs have earliness and tardiness penalties and a common due date. We formulate this problem and some of its v...
172
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
186
click to vote
FAC
2010
15 years 3 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...