Filters








2,161 Hits in 8.0 sec

JPF-AWT: Model checking GUI applications

Peter Mehlitz, Oksana Tkachuk, Mateusz Ujma
2011 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)  
In addition, GUIs rely extensively on complex and inherently concurrent framework libraries such as AWT/Swing, for which the application code merely provides callbacks.  ...  Verification of Graphical User Interface (GUI) applications presents many challenges. GUI applications are open systems that are driven by user events.  ...  Figure 1 shows the GUI of this RobotManager application. user input event thread data acquisition thread The program is used to control four robots, as shown in the Robots list: RATS-1, RATS-2, RCAT-1  ... 
doi:10.1109/ase.2011.6100131 dblp:conf/kbse/MehlitzTU11 fatcat:seqlsiuspzabrcawjtmiladxyy

Parallel Task for Parallelising Object-Oriented Desktop Applications

Nasser Giacaman, Oliver Sinnen
2013 International journal of parallel programming  
With the arrival of multi-cores for mainstream desktop systems, developers must invest the effort of parallelising their applications in order to benefit from these systems.  ...  interface (GUI) applications.  ...  The application appears unresponsive if events backlog in the event queue; it is therefore important that control of the GUI thread remains in the event loop.  ... 
doi:10.1007/s10766-013-0238-9 fatcat:xuo2vhwz6zhbnjb2dwy3azny5i

Dataflow constructs for a language extension based on the algebra of communicating processes

André van Delft
2013 Proceedings of the 4th Workshop on Scala - SCALA '13  
SubScript is an extension to the Scala programming language with constructs from the Algebra of Communicating Processes, targeted at event-driven and concurrent programming.  ...  This helps getting rid of variables, e.g., in GUI controller specifications. 3.  ...  Both GUI applications and actors may change a state and change the set of events that they listen to With SubScript the control flow may be inverted; scripts treat events and internal actions in an equal  ... 
doi:10.1145/2489837.2489849 dblp:conf/ecoop/Delft13 fatcat:6lya5tpug5fjvb4edf6wneyzay

Bolt

Michael Kling, Sasa Misailovic, Michael Carbin, Martin Rinard
2012 SIGPLAN notices  
We present Bolt, a novel system for escaping from infinite and long-running loops. Directed by a user, Bolt can attach to a running process and determine if the program is executing an infinite loop.  ...  If so, Bolt can deploy multiple strategies to escape the loop, restore the responsiveness of the program, and enable the program to deliver useful output.  ...  Acknowledgements We would like the thank Deokhwan Kim, Stelios Sidiroglou, and the anonymous reviewers for their useful feedback and comments. We note our previous work on this topic [32] .  ... 
doi:10.1145/2398857.2384648 fatcat:spx6wb6d3fdvvlused5glriz7e

Bolt

Michael Kling, Sasa Misailovic, Michael Carbin, Martin Rinard
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
We present Bolt, a novel system for escaping from infinite and long-running loops. Directed by a user, Bolt can attach to a running process and determine if the program is executing an infinite loop.  ...  If so, Bolt can deploy multiple strategies to escape the loop, restore the responsiveness of the program, and enable the program to deliver useful output.  ...  Acknowledgements We would like the thank Deokhwan Kim, Stelios Sidiroglou, and the anonymous reviewers for their useful feedback and comments. We note our previous work on this topic [32] .  ... 
doi:10.1145/2384616.2384648 dblp:conf/oopsla/KlingMCR12 fatcat:n363jey2rvagfnlfitd3yha7om

Tasks

Jeffrey Fischer, Rupak Majumdar, Todd Millstein
2007 Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07  
The event-driven programming style is pervasive as an efficient method for interacting with the environment.  ...  Tasks are a variant of cooperative multi-threading and allow each logical control flow to be modularized in the traditional manner, including usage of standard control mechanisms like procedures and exceptions  ...  Threads represent an alternative programming model commonly used to interleave multiple flows of control.  ... 
doi:10.1145/1244381.1244403 dblp:conf/pepm/FischerMM07 fatcat:smvhictokzenvj34wpnhaahmqa

Structured synchronous reactive programming with Cýu

Francisco Sant' Anna, Roberto Ierusalimschy, Noemi Rodriguez
2015 Proceedings of the 14th International Conference on Modularity - MODULARITY 2015  
We advocate SSRP as viable in multiple domains of reactive applications and propose a new abstraction mechanism for the synchronous language Céu: Organisms extend objects with an execution body that composes  ...  Structured synchronous reactive programming (SSRP) augments classical structured programming (SP) with continuous interaction with the environment.  ...  An organism body supports multiple lines of execution that can await events without loosing control context, offering an effective alternative to the infamous "callback hell".  ... 
doi:10.1145/2724525.2724571 dblp:conf/aosd/SantAnnaIR15 fatcat:k3hyfrwcmjaktayivk6lul3cra

Software Architecture for Multimodal User Input - FLUID [chapter]

Tommi Ilmonen, Janne Kontkanen
2003 Lecture Notes in Computer Science  
Traditional ways to handle user input in software are uncomfortable when an application wishes to use novel input devices. This is especially the case in gesture based user interfaces.  ...  In this paper we describe these problems and as a solution we present an architecture and an implementation of a user input toolkit.  ...  for these tasks In the end we hope to make multi-modal input management easy for the application developer.  ... 
doi:10.1007/3-540-36572-9_25 fatcat:veziuafyoveu7avqu4zwyrifba

Recommendations and specifications for data scope analysis tools [article]

Cyril Mazauric, Erwan Raffin, David Guibert
2019 arXiv   pre-print
This document is one of the deliverable reports created for the ESCAPE project. ESCAPE stands for Energy-efficient Scalable Algorithms for Weather Prediction at Exascale.  ...  These dwarfs are then optimised for different hardware architectures (single and multi-node) and alternative algorithms are explored.  ...  The analysis of an application considers mainly investigation of loops to answer questions such as: Whether they should be threaded or vectorised first? Is the vectorisation efficient enough?  ... 
arXiv:1908.06095v1 fatcat:nxkdqnxzxnbh7c4xuwgn5jccxm

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge

Don Syme
2006 Electronical Notes in Theoretical Computer Science  
are difficult to characterize, document and control.  ...  This paper aims to augment ongoing theoretical work on value recursion with a description of a semi-safe mechanism for a generalized form of value recursion in an ML-like language, where initialization  ...  We also thank anonymous reviewers for their helpful remarks and lively discussion.  ... 
doi:10.1016/j.entcs.2005.11.038 fatcat:5oq5mbebybadlfslzzhfda27s4

Programming in Manticore, a Heterogenous Parallel Functional Language [chapter]

Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John Reppy, Adam Shaw, Yingqi Xiao
2010 Lecture Notes in Computer Science  
At the explicit-concurrency level, Manticore supports the creation distinct threads of control and the coordination of threads through first-class synchronous-message passing.  ...  The Manticore project is an effort to design and implement a new functional language for parallel programming.  ...  For example, the termination of a parent thread does not affect child threads; each child thread is an independent flow of sequential control.  ... 
doi:10.1007/978-3-642-17685-2_4 fatcat:krgpjp2ts5f7xllnoldgdtcdma

Emerson

Behram F.T. Mistree, Bhupesh Chandra, Ewen Cheslack-Postava, Philip Levis, David Gay
2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software - ONWARD '11  
Multi-presencing allows a single program to centrally control what seem to be many distributed geometric objects.  ...  To simplify scripting for novices, Emerson employs two abstractions: multi-presencing and execution sandboxes.  ...  Acknowledgments We thank the National Science Foundation, which, through Graduate Research Fellowship #2007050798, partially supported this work.  ... 
doi:10.1145/2048237.2048247 dblp:conf/oopsla/MistreeCCLG11 fatcat:7yn7y2nxhrhaxcvfo36e5cpt5u

Experience in integrating Java with C# and .NET

Judith Bishop, R. Nigel Horspool, Basil Worrall
2005 Concurrency and Computation  
The third is by providing a common XML-based class for the development of GUIs, which can be incorporated into Java or C#.  ...  An added advantage of this system, called Views, is that it can run independently of the resource-intensive development environment that would otherwise be needed for using C#.  ...  We are grateful for the technical input and advice of Johnny Lo, Cobus Smit, John Muller, Kathrin Berg, Theo Danzfuss, Theo Crous and Rajwinder Panesar-Walawege.  ... 
doi:10.1002/cpe.858 fatcat:77qoq5ciajfwdb3wmzjpt76sta

COSMOPEN: dynamic reverse engineering on a budget. How cheap observation techniques can be used to reconstruct complex multi-level behaviour

François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre
2009 Software, Practice & Experience  
In this article we present COSMOPEN, a reverse engineering tool optimised for the behavioural analysis of complex layered software.  ...  By programming different graph manipulation scripts, the "focal length" of our tool can be adapted to different abstraction levels.  ...  The first author would like to thank Christof Fetzer for his encouragement to publish the work presented here. 35/40 8 Bibliography  ... 
doi:10.1002/spe.943 fatcat:td3l3vaxtrb3ldrwiywbdwcg5u

Pickle: A flexible ABMS framework for dynamically generating serializable intelligent agents

Terrance Medina, Maria Hybinette
2015 2015 Winter Simulation Conference (WSC)  
But the existing solutions for simplifying the description of agent controllers are inadequate for that challenge, so we present Pickle, an ABMS platform that generates complete simulations and agents  ...  Along with its mainstream status, ABMS has attracted the attention of practitioners who are not always comfortable developing software in Java, C++ or any of the scripting languages commonly used for ABMS  ...  This may be a single-thread that manages the underlying event queue and environment data structures, or it may be a thread manager that dispatches requests to a subordinate process running in parallel.  ... 
doi:10.1109/wsc.2015.7408164 dblp:conf/wsc/MedinaH15 fatcat:6ifrevr7bbg6lox4osgks65jba
« Previous Showing results 1 — 15 out of 2,161 results