Search results for "callbacks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Pavel Parízek, Frantisek Plásil	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
59	Jennifer Tenzer, Perdita Stevens	On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Protocol state machines, UML, Recursion, Object-oriented modelling, State machines, Callbacks
48	C. Sashidhar, Sol M. Shatz	Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software.	COMPSAC	1997	DBLP DOI BibTeX RDF	Transparency, RPC, Distributed Software, Callbacks
46	Weilei Zhang, Barbara G. Ryder	Constructing Accurate Application Call Graphs For Java To Model Library Callbacks.	SCAM	2006	DBLP DOI BibTeX RDF
46	Michael Ruth, Feng Lin, Shengru Tu	A Client-Side Framework Enabling Callbacks from Web Services.	ECOWS	2005	DBLP DOI BibTeX RDF
35	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
35	Alexander D. Stoyenko	SUPRA-RPC: SUbprogram PaRA meters in Remote Procedure Calls.	SPDP	1991	DBLP DOI BibTeX RDF
28	Peter Thiemann 0001	Intrinsically Typed Sessions with Callbacks (Functional Pearl).	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
28	Peter Thiemann 0001	Intrinsically Typed Sessions With Callbacks.	CoRR	2023	DBLP DOI BibTeX RDF
28	Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv	Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
28	Andi Sunyoto, Yoga Pristyanto, Anggit Ferdita Nugraha	Enhanced Classification of Potato Leaf Disease Using Xception and ReduceLROnPlateau Callbacks.	IoTaIS	2023	DBLP DOI BibTeX RDF
28	Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip	Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks.	ICSE	2022	DBLP DOI BibTeX RDF
28	Aditya Anand 0002	A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis.	SPLASH Companion	2022	DBLP DOI BibTeX RDF
28	Michele Portolan, Vincent Reynaud, Paolo Maistri, Régis Leveugle, Giorgio Di Natale	Security EDA Extension through P1687.1 and 1687 Callbacks.	ITC	2021	DBLP DOI BibTeX RDF
28	Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv	Taming callbacks for smart contract modularity.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
28	Xiupeng Chen, Rongzeng Mu, Yuepeng Yan	Automated identification of callbacks in Android framework using machine learning techniques.	Int. J. Embed. Syst.	2018	DBLP DOI BibTeX RDF
28	Akihiro Satoh, Yutaka Nakamura, Daiki Nobayashi, Takeshi Ikenaga	Estimating the Randomness of Domain Names for DGA Bot Callbacks.	IEEE Commun. Lett.	2018	DBLP DOI BibTeX RDF
28	Fei Wang 0046, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf	Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.	NeurIPS	2018	DBLP BibTeX RDF
28	Yongfeng Li, Jinbin Ouyang, Bing Mao, Kai Ma, Shanqing Guo	Data Flow Analysis on Android Platform with Fragment Lifecycle Modeling and Callbacks.	EAI Endorsed Trans. Security Safety	2017	DBLP DOI BibTeX RDF
28	Marten Lohstroh, Hokeun Kim, Edward A. Lee	Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress.	EMSOFT Companion	2017	DBLP DOI BibTeX RDF
28	Pablo Lamela Seijas, Simon J. Thompson	Identifying and introducing interfaces and callbacks using Wrangler.	IFL	2016	DBLP DOI BibTeX RDF
28	Farhaan Fowze, Tuba Yavuz	Specification, verification, and synthesis using extended state machines with callbacks.	MEMOCODE	2016	DBLP DOI BibTeX RDF
28	Hao Tang, Xiaoyin Wang, Lingming Zhang 0001, Bing Xie, Lu Zhang 0023, Hong Mei 0001	Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks.	POPL	2015	DBLP DOI BibTeX RDF
28	Keheliya Gallaba, Ali Mesbah 0001, Ivan Beschastnikh	Don't Call Us, We'll Call You: Characterizing Callbacks in Javascript.	ESEM	2015	DBLP DOI BibTeX RDF
28	Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, Atanas Rountev	Static Control-Flow Analysis of User-Driven Callbacks in Android Applications.	ICSE (1)	2015	DBLP DOI BibTeX RDF
28	Etienne Brodu, Stéphane Frénot, Frédéric Oblé	Toward automatic update from callbacks to promises.	AWeS@EuroSys	2015	DBLP DOI BibTeX RDF
28	Rebecca A. Scott, Benjamin T. George	Evaluating healthcare process improvement for patient callbacks.	Int. J. Serv. Stand.	2014	DBLP DOI BibTeX RDF
28	Jan Broeckhove, Kurt Vanmechelen	An adaptor for C++ callbacks with C and Fortran libraries.	Comput. Phys. Commun.	2013	DBLP DOI BibTeX RDF
28	Etienne Kneuss, Viktor Kuncak, Philippe Suter	Effect Analysis for Programs with Callbacks.	VSTTE	2013	DBLP DOI BibTeX RDF
28	Stavros Aronis, Konstantinos Sagonas	Typed callbacks for more robust behaviours.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
28	Jeff A. Stuart, Michael Cox, John D. Owens	GPU-to-CPU Callbacks.	Euro-Par Workshops	2010	DBLP DOI BibTeX RDF
28	Michael Ruth, Feng Lin, Shengru Tu	A Framework for Applications Utilizing Web Services with Callbacks.	ICWS	2005	DBLP DOI BibTeX RDF
28	Ari Jaaksi	Type-Safe Callbacks with Abstract Partners.	OOIS	1996	DBLP DOI BibTeX RDF
17	Abbas Heydarnoori, Krzysztof Czarnecki 0001, Thiago T. Bartolomei	Supporting Framework Use via Automatically Extracted Concept-Implementation Templates.	ECOOP	2009	DBLP DOI BibTeX RDF
17	Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
17	Jana Giceva, Christoph Lange 0002, Florian Rabe 0001	Integrating Web Services into Active Mathematical Documents.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
17	Alessandro Marchetto 0001, Filippo Ricca, Paolo Tonella	A case study-based comparison of web testing techniques applied to AJAX web applications.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Software testing, Web applications, AJAX, State-based testing
17	Scott McMaster, Atif M. Memon	Call-Stack Coverage for GUI Test Suite Reduction.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Test coverage of code, Testing tools, Testing strategies, Test management
17	Alessandro Marchetto 0001, Paolo Tonella, Filippo Ricca	State-Based Testing of Ajax Web Applications.	ICST	2008	DBLP DOI BibTeX RDF	Testing, Web Application, AJAX, State-based Testing
17	Andreas Both 0001, Wolf Zimmermann	Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.	CBSE	2008	DBLP DOI BibTeX RDF
17	Michael Dunlavey	Lightweight Coding of Structurally Varying Dialogs.	DSV-IS	2008	DBLP DOI BibTeX RDF	Differential execution, Incremental computation
17	Iason Kastanis, Simon R. Arridge, Alex Stewart, Spencer Gunn, Christer Ullberg, Tom Francke	3D Digital Breast Tomosynthesis Using Total Variation Regularization.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF
17	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
17	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein	Tasks: language support for event-driven programming.	PEPM	2007	DBLP DOI BibTeX RDF
17	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Middleware/application interactions to support adaptive dependability.	MAI	2007	DBLP DOI BibTeX RDF	constraint consistency, middleware/application interaction, integrity, web, dependability, replication, availability
17	Roman Obermaisser	Reuse of CAN-Based Legacy Applications in Time-Triggered Architectures.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
17	Kim M. Hazelwood, Robert S. Cohn	A Cross-Architectural Interface for Code Cache Manipulation.	CGO	2006	DBLP DOI BibTeX RDF
17	Scott McMaster, Atif M. Memon	Call Stack Coverage for GUI Test-Suite Reduction.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Caroline Appert, Michel Beaudouin-Lafon	SwingStates: adding state machines to the swing toolkit.	UIST	2006	DBLP DOI BibTeX RDF	java swing, toolkit, state machine, widget
17	Anindya Banerjee 0001, David A. Naumann	State Based Ownership, Reentrance, and Encapsulation.	ECOOP	2005	DBLP DOI BibTeX RDF
17	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
17	Levon Stepanian, Angela Demke Brown, Allan Kielstra, Gita Koblents, Kevin Stoodley	Inlining java native calls at runtime.	VEE	2005	DBLP DOI BibTeX RDF	native code, Java, JIT compilation, inlining, JNI
17	Stephen McCamant, Michael D. Ernst	Early Identification of Incompatibilities in Multi-component Upgrades.	ECOOP	2004	DBLP DOI BibTeX RDF
17	Jun Li 0008, Keith Moore	Exploiting Global Causality in Testing of Distributed and Component-Based Applications.	ICSM	2004	DBLP DOI BibTeX RDF
17	Richard Carlsson	Parameterized modules in Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
17	Peter Thiemann 0001	WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.	PADL	2002	DBLP DOI BibTeX RDF	CGI Programming, Haskell, Monads
17	Oleg Kiselyov	A Better XML Parser through Functional Programming.	PADL	2002	DBLP DOI BibTeX RDF	tree fold, Haskell, Scheme, traversal, XML parsing
17	Harri Hakula, Juha Ruokolainen, Jouni Malinen	HUTI: Framework for Iterative Solvers.	PARA	2002	DBLP DOI BibTeX RDF
17	Amir Michail	Browsing and searching source code of applications written using a GUIframework.	ICSE	2002	DBLP DOI BibTeX RDF
17	George F. Riley, Mostafa H. Ammar, Richard M. Fujimoto, Donghua Xu, Kalyan S. Perumalla	Distributed Network Simulations Using the Dynamic Simulation Backplane.	ICDCS	2001	DBLP DOI BibTeX RDF
17	Kevin A. Schneider, James R. Cordy	Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems.	DSV-IS	2001	DBLP DOI BibTeX RDF
17	Laurent Amsaleg, Michael J. Franklin, Olivier Gruber	Garbage collection for a client-server persistent object store.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	recovery, client-server system, logging, persistent object-store
17	Bruno Schulze, Edmundo R. M. Madeira	Migration Transparency in Agent Systems.	ISADS	1999	DBLP DOI BibTeX RDF	distribution transparencies, mobility, availability, agent systems
17	Grzegorz Czajkowski, Thorsten von Eicken	JRes: A Resource Accounting Interface for Java.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java, Java, resource management, extensible systems
17	Kari Alho, Casper Lassenius, Reijo Sulonen	A Uniform Model for Coordinating Software Development Activities Kari Alho, Casper Lassenius and Reijo Sulonen.	HICSS (1)	1997	DBLP DOI BibTeX RDF
17	Michael D. Schroeder	Software clercks.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF