Results 1 - 10 of 741

Automatically validating temporal safety properties of interfaces

by Thomas Ball, Sriram K. Rajamani , 2001
"... We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property of interest. It then automatically creates abstractions of C code using iterative refinement, based on the given property. The pro ..."
Abstract - Cited by 433 (21 self) - Add to MetaCart
that the process converges on a set of predicates powerful enough to validate properties in just a few iterations. 1 Introduction Large-scale software has many components built by many programmers. Integration testing of these components is impossible or ineffective at best. Property checking of interface usage

Wishful Thinking

by Guy Mayraz Abstract , 2011
"... An experiment tested whether and in what circumstances people are more likely to believe an event simply because it makes them better off. Subjects observed a financial asset's historical price chart, and received both an accuracy bonus for predicting the price at some future point, and an unco ..."
Abstract - Add to MetaCart
, but was independent of the amount paid for accurate predictions. JEL Classifications: D01, D03, D81, D84, G11 Keywords: Wishful-thinking, optimal expectations, priors and desires, payoff-dependent beliefs, asset prices This paper was produced as part of the Centre’s Wellbeing Programme. The Centre for Economic

DATES YOU WISH TO WORK

by Forest Row Rhjx, Forest Row Rhjx , 2016
"... How did you hear about the volunteer programme at Emerson College? I would like to receive information about Emerson events and newsletter ..."
Abstract - Add to MetaCart
How did you hear about the volunteer programme at Emerson College? I would like to receive information about Emerson events and newsletter

Consistent Detection of Global Predicates

by Robert Cooper, Keith Marzullo - In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging , 1991
"... A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate. If the system is distributed, then the resulting uncertainty in the state of the system makes such detection, in general, ill-defined. This paper presents three algorithms for detec ..."
Abstract - Cited by 165 (3 self) - Add to MetaCart
process histories) for distributed monitoring. Temporal predicates are more powerful, but also more complex to use. In many cases, the condition that the programmer wishes to monitor is simply and intuitively viewed as a predicate over the “instantaneous ” state of the system. Using the possibly

Wish++: The C++ API for Tcl/Tk

by Vipul Jain , 1994
"... This paper describes the C++ programmer interface to wish++, the object oriented windowing shell based on Tcl/Tk. Tcl is a scripting language that may be embedded in C or C++. Tk is a windowing and graphics toolkit based on X11, with an associated interpreter called wish. The wish++ library contains ..."
Abstract - Add to MetaCart
This paper describes the C++ programmer interface to wish++, the object oriented windowing shell based on Tcl/Tk. Tcl is a scripting language that may be embedded in C or C++. Tk is a windowing and graphics toolkit based on X11, with an associated interpreter called wish. The wish++ library

The authors wish to acknowledge contributions to the NAEI from:

by C J Dore, J D Watterson, T P Murrells, N R Passant, M M Hobson, S L Choudrie, G Thistlethwaite, A Wagner, J Jackson, Y Li, T Bush, K R King, J Norris, P J Coleman, C Walker, R A Stewart, J W L Goodwin, I Tsagatakis, C Conolly, M K Downes, N Brophy, M R Hann, Tom Misselbrook, Laura Cardenas, Ulli Dragosits, Mark Sutton, A Thompson, Deena Mobbs , 2007
"... forms part of the UK emissions inventory programme funded by Defra and the Devolved ..."
Abstract - Add to MetaCart
forms part of the UK emissions inventory programme funded by Defra and the Devolved

Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications

by Todd C. Mowry, Angela K. Demke, Orran Krieger , 1996
"... Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of-core" problems efficiently are typically faced with the onerous task of rewriting an application to use explicit I/ ..."
Abstract - Cited by 162 (6 self) - Add to MetaCart
Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of-core" problems efficiently are typically faced with the onerous task of rewriting an application to use explicit I

MALARIA CASE MANAGEMENT – OPERATIONS MANUAL Global Malaria ProgrammeMALARIA CASE MANAGEMENT OPERATIONS MANUALii Malaria case management: Operations manual Acknowledgements

by unknown authors
"... The Malaria Case Management Operational Manual is a product of a collaborative work between the World Health Organization (WHO) Headquarters and all WHO Regions. The WHO Global Malaria Programme wishes to acknowledge the valuable contributions ..."
Abstract - Add to MetaCart
The Malaria Case Management Operational Manual is a product of a collaborative work between the World Health Organization (WHO) Headquarters and all WHO Regions. The WHO Global Malaria Programme wishes to acknowledge the valuable contributions

In Your Wish is My Command: Programming By Example

by Ken Kahn, Edited Henry Lieberman, Published Morgan Kaufman Publishers , 2000
"... A long-standing goal of the programming by demonstration research community is to enable people to construct programs by showing how the desired programs should work on sample inputs. A major challenge is how to make the programs general. Heuristics and inference can generalize recorded actions on s ..."
Abstract - Add to MetaCart
on sample data in narrow domains but have yet to be much help in general purpose programming. This paper describes a programming system called ToonTalk ® [Kahn 96, Kahn 00] that takes a different approach. In ToonTalk the programmer generalizes recorded actions by explicitly removing details. Children

Wish: Amplifying Creative Ability with Expert Crowds

by Prayag Narula, David Rolnitzky, Nathan Kontny
"... We present Wish, a system that uses expert members of an online crowd to amplify a user’s ability to carry out com-plex creative tasks. When presented with an incomplete or rough draft of creative content (for example, writing, pro-gramming, or art), Wish finds and recruits an expert to sug-gest a p ..."
Abstract - Add to MetaCart
on writing. Hack lets developers convert pseu-docode into working code by pulling results on demand from a crowd of programmers. Sketch lets individuals con-vert rough sketches into fully-refined art by consulting art-ists. We illustrate how novice creators can use Wish to am-plify their ability, how expert
Results 1 - 10 of 741