Search results for "handlers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	MinSeong Kim, Andy J. Wellings	An efficient and predictable implementation of asynchronous event handling in the RTSJ.	JTRES	2008	DBLP DOI BibTeX RDF
81	MinSeong Kim, Andy J. Wellings	Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ.	JTRES	2009	DBLP DOI BibTeX RDF
79	Binoy Ravindran, Edward Curley, E. Douglas Jensen	On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems.	ICESS	2007	DBLP DOI BibTeX RDF
69	Andy J. Wellings, Alan Burns 0001	Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
58	Kiran Pamnany, John Jannotti	Elyze: enabling safe parallelism in event-driven servers.	PASTE	2008	DBLP DOI BibTeX RDF	concurrency scheduling, static analysis
58	Yoonki Song, Dongsoo Han	Exception Specification and Handling in Workflow Systems.	APWeb	2003	DBLP DOI BibTeX RDF
58	Raoul Bhoedjang, Koen Langendoen	Friendly and Efficient Message Handling.	HICSS (1)	1996	DBLP DOI BibTeX RDF
56	Steven P. Reiss	Dynamic detection of event handlers.	WODA	2008	DBLP DOI BibTeX RDF	event handler, monitoring, trace analysis, dynamic instrumentation
56	Eunhoe Kim, Jaeyoung Choi	Design and Implementation of the Context Handlers in a Ubiquitous Computing Environment.	ICCSA (1)	2007	DBLP DOI BibTeX RDF
56	Ada Gavrilovska, Kenneth Mackenzie, Karsten Schwan, Austen McDonald	Stream Handlers: Application-Specific Message Services on Attached Network Processors.	Hot Interconnects	2002	DBLP DOI BibTeX RDF
46	Stefan Berger, Scott McFaddin, Carl Binding, Christian Hörtnagl, Anand Ranganathan	Towards Pluggable Discovery Frameworks for Mobile and Pervasive Applications.	Mobile Data Management	2004	DBLP DOI BibTeX RDF
46	Christophe Dony	A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
46	Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl	Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation.	PPoPP	1995	DBLP DOI BibTeX RDF
46	Christophe Dony	An Object-Oriented Exception Handling System for an Object-Oriented Language.	ECOOP	1988	DBLP DOI BibTeX RDF	Fault-tolerant encapsulations, Resumption model, Object-oriented programming, Exception handling, Debugging environments
44	Gordon D. Plotkin, Matija Pretnar	Handlers of Algebraic Effects.	ESOP	2009	DBLP DOI BibTeX RDF
44	Rania Khalaf, Dieter Roller 0001, Frank Leymann	Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Workflow, Transactions, Compensation, WS-BPEL, Error handling
44	Matthias Blume, Umut A. Acar, Wonseok Chae	Exception Handlers as Extensible Cases.	APLAS	2008	DBLP DOI BibTeX RDF
44	Beytullah Yildiz, Geoffrey C. Fox, Shrideep Pallickara	An Orchestration for Distributed Web Service Handlers.	ICIW	2008	DBLP DOI BibTeX RDF	Web Service Handler, Web Service, Concurrency, Orchestration
44	Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder	Execution time limitation of interrupt handlers in a Java operating system.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
42	Paulo de Vilhena	Proof of Programs with Effect Handlers. (Preuve de Programmes avec Effect Handlers).		2022	RDF
42	Ningning Xie, Daan Leijen	Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
42	Daan Leijen	First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.	TyDe@ICFP	2018	DBLP DOI BibTeX RDF
42	Jirka Marsík	Effects and Handlers in Natural Language. (Les effects et les handlers dans le langage naturel).		2016	RDF
37	Deven Shah, Ashish Mangal, Mayank Agarwal, Mahendra Mehra, Tushar Dave, Dhiren R. Patel	Protecting Global SOA from DoS and Other Security Threats.	ISA	2009	DBLP DOI BibTeX RDF	Global SOA, Handlers, Security, Simulation, Web Services, SOA, DoS, Denial of Service
37	Aamer Jaleel, Bruce L. Jacob	In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
37	Klaus E. Schauser, Chris J. Scheiman, J. Mitchell Ferguson, Paul Z. Kolano	Exploiting the Capabilities of Communications Co-Processors.	IPPS	1996	DBLP DOI BibTeX RDF	inter-computer links, communications coprocessor architecture, dedicated hardware support, user-level message handlers, Split-C, message handling code, Meiko CS-2 platform, synchronization, parallel architectures, local area networks, synchronisation, flexibility, coprocessors, computational power, massively parallel processors, workstation networks, active messages, electronic messaging
37	Martin Adelantado, Frédéric Boniol, D. Pinault	A simulation environment for designing distributed reactive/deliberative time-constrained applications.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state
35	MinSeong Kim, Andy J. Wellings	Using the executor framework to implement asynchronous event handling in the RTSJ.	JTRES	2010	DBLP DOI BibTeX RDF
35	Giuseppe Ciaccio	A Pretty Flexible API for Generic Peer-to-Peer Programming.	IPDPS	2007	DBLP DOI BibTeX RDF
35	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
35	Jørgen Lindskov Knudsen	Fault Tolerance and Exception Handling in BETA.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
35	Babak Falsafi, David A. Wood 0001	Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols.	HPCA	1999	DBLP DOI BibTeX RDF
35	Susan Horwitz	Adding Relational Query Facilities to Software Development Environments.	ESOP	1988	DBLP DOI BibTeX RDF
33	Sean Reilly	Multi-Event Handlers for Sensor-Driven Ubiquitous Computing Applications.	PerCom	2009	DBLP DOI BibTeX RDF
33	Chi Man Siu	Optical Handlers: eeyee.	SIGGRAPH ASIA Art Gallery & Emerging Technologies	2009	DBLP DOI BibTeX RDF
33	Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira	Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.	HASE	2008	DBLP DOI BibTeX RDF
33	Stephan Korsholm, Martin Schoeberl, Anders P. Ravn	Interrupt Handlers in Java.	ISORC	2008	DBLP DOI BibTeX RDF
33	Oliver Kasten, Kay Römer	Beyond event handlers: programming wireless sensors with attributed state machines.	IPSN	2005	DBLP DOI BibTeX RDF
33	Lukasz Dutka, Jacek Kitowski	Application of Component-Expert Technology for Selection of Data-Handlers in CrossGrid.	PVM/MPI	2002	DBLP DOI BibTeX RDF
33	Aamer Jaleel, Bruce L. Jacob	Improving the Precise Interrupt Mechanism of Software-Managed TLB Miss Handlers.	HiPC	2001	DBLP DOI BibTeX RDF
33	Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek	ASHs: Application-Specific Handlers for High-Performance Messaging.	SIGCOMM	1996	DBLP DOI BibTeX RDF
33	R. Govindarajan	Exception Handlers in Functional Programming Languages.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
26	Eun-Sun Cho, Sumi Helal	A Situation-Based Exception Detection Mechanism for Safety in Pervasive Systems.	SAINT	2011	DBLP DOI BibTeX RDF	exception handlers, programming models for pervasive systems, pervasive computing, contexts, safety, exceptions, situations
26	Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting	Profile-Directed Optimization of Event-Based Programs.	PLDI	2002	DBLP DOI BibTeX RDF	handlers, profiling, events
26	Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting, Wanda Chiu	Coyote: A System for Constructing Fine-Grain Configurable Communication Services.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	x-kernal, configurable sevices, event handlers, event-driven execution, microprotocols, mobile computing, protocols, multicast, modularity, customization, remote procedure call, membership
26	Mayan Moudgill, Stamatis Vassiliadis	Precise Interrupts.	IEEE Micro	1996	DBLP DOI BibTeX RDF	interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts
26	Christoph F. Eick, Paul Werstein	Rule-Based Consistency Enforcement for Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system
23	Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry	Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic code optimization, dynamic correctness checking, dynamic program analysis
23	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
23	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
23	Ivo Augusto Bertoncello, Marcelo Oliveira Dias, Patrick H. S. Brito, Cecília M. F. Rubira	Explicit exception handling variability in component-based product line architectures.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	exceptional behaviour, software architecture, exception handling, component-based software development
23	Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001	Exception resolution for BPEL processes: a middleware-based framework and performance evaluation.	iiWAS	2008	DBLP DOI BibTeX RDF	quality of service (QoS), web services, scalability, middleware, exception handling, performance metrics
23	Eyas El-Qawasmeh, Václav Snásel, Pit Pichappan	Reshaping email relationships.	ICDIM	2008	DBLP DOI BibTeX RDF
23	Mati Golani, Avigdor Gal, Eran Toch	Modeling Alternatives in Exception Executions.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
23	Na Liu 0001, John G. Hosking, John C. Grundy	MaramaTatau: Extending a Domain Specific Visual Language Meta Tool with a Declarative Constraint Mechanism.	VL/HCC	2007	DBLP DOI BibTeX RDF	visual constraint language, visual language metatool
23	Yui-Liang Chen, Yen-Yu Chen, Monica Shao	2005 accessibility diagnosis on the government web sites in Taiwan, R.O.C.	W4A	2006	DBLP DOI BibTeX RDF	accessible checkpoint, accessible examination, accessible examining system, accessible website, accessibility
23	Mati Golani, Avigdor Gal	Optimizing Exception Handling in Workflows Using Process Restructuring.	Business Process Management	2006	DBLP DOI BibTeX RDF
23	Scott McMaster, Atif M. Memon	Call Stack Coverage for GUI Test-Suite Reduction.	ISSRE	2006	DBLP DOI BibTeX RDF
23	Eric Wohlstadter, Kris De Volder	Doxpects: aspects supporting XML transformation interfaces.	AOSD	2006	DBLP DOI BibTeX RDF
23	Saisanthosh Balakrishnan, Gurindar S. Sohi	Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs.	ISCA	2006	DBLP DOI BibTeX RDF
23	Christian Poellabauer, Karsten Schwan	Flexible cross-domain event delivery for quality-managed multimedia applications.	ACM Trans. Multim. Comput. Commun. Appl.	2005	DBLP DOI BibTeX RDF	Event delivery, real-time events, quality-of-service, operating system, quality management, dynamic code generation
23	Girish Chafle, Sunil Chandra, Pankaj Kankar, Vijay Mann	Handling Faults in Decentralized Orchestration of Composite Web Services.	ICSOC	2005	DBLP DOI BibTeX RDF
23	Linas Laibinis, Elena Troubitsyna	Formal Development of Reactive Fault Tolerant Systems.	RISE	2005	DBLP DOI BibTeX RDF
23	Chen Fu, Barbara G. Ryder	Navigating error recovery code in Java applications.	eTX	2005	DBLP DOI BibTeX RDF
23	Ashok U. Mallya, Munindar P. Singh	Modeling exceptions via commitment protocols.	AAMAS	2005	DBLP DOI BibTeX RDF	agents, multiagent systems, exception handling, commitments
23	Gertrude Neuman Levine	Defining deadlock.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
23	Zeng Fancong	Deadlock Resolution via Exceptions for Dependable Java Applications.	DSN	2003	DBLP DOI BibTeX RDF
23	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg	Stack Size Analysis for Interrupt-Driven Programs.	SAS	2003	DBLP DOI BibTeX RDF
23	Mauricio Cortes, J. Robert Ensor	Narnia: A Virtual Machine for Multimedia Communication Services.	ISMSE	2002	DBLP DOI BibTeX RDF	enhanced chat room, Session Initiation Protocol (SIP), performance measurements, events, roles, sessions, Distributed multimedia applications
23	ByungHoon Kang, Robert Wilensky	Toward a model of self-administering data.	JCDL	2001	DBLP DOI BibTeX RDF	asynchonous collaboration, data access model, scalable update propagation, self-administering data, peer to peer, data management, file sharing, distributed file system
23	Dickson K. W. Chiu, Qing Li 0001, Kamalakar Karlapalem	ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
23	Camil Demetrescu, Irene Finocchi, Giuseppe Liotta	Visualizing Algorithms over the Web with the Publication-Driven Approach.	WAE	2000	DBLP DOI BibTeX RDF
23	Lance Hammond, Mark Willey, Kunle Olukotun	Data Speculation Support for a Chip Multiprocessor.	ASPLOS	1998	DBLP DOI BibTeX RDF
23	Magnus Karlsson 0002, Per Stenström	Performance Evaluation of a Cluster-Based Multiprocessor Built from ATM Switches and Bus-Based Multiprocessor Servers.	HPCA	1996	DBLP DOI BibTeX RDF
23	R. Mahesh K. Sinha, Birendra Prasada, Gilles F. Houle, Michael Sabourin	Hybrid Contextural Text Recognition with String Matching.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	progressive recognition, transient statistical information, hybrid contextural algorithm, real-life documents, character hypothesis, word hypothesis, dynamic contour warping classifier, transient dictionary, modified Viterbi algorithm, optical character recognition, document image processing, string matching, text recognition, hypothesis verification
23	Qian Cui, John D. Gannon	Data-Oriented Exception Handling.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	normal algorithmic processing, error processing, control features, source text, data-oriented exception handling, data structures, Ada, programming, programming languages, declarations, data objects, Ada programs
21	Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi	Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
21	Daniel Hillerström, Sam Lindley, John Longley	Asymptotic speedup via effect handlers.	J. Funct. Program.	2024	DBLP DOI BibTeX RDF
21	Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara	An Intrinsically Typed Compiler for Algebraic Effect Handlers.	PEPM	2024	DBLP DOI BibTeX RDF
21	Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley	Continuing WebAssembly with Effect Handlers.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Marius Müller 0003, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser	From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki	A General Fine-Grained Reduction Theory for Effect Handlers.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Max S. New, Eric Giovannini, Daniel R. Licata	Gradual Typing for Effect Handlers.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Max S. New, Eric Giovannini, Daniel R. Licata	Gradual Typing for Effect Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay	Effects and Effect Handlers for Programmable Inference.	CoRR	2023	DBLP DOI BibTeX RDF
21	Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley	Continuing WebAssembly with Effect Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Tiago Soares, Mário Pereira	A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version).	CoRR	2023	DBLP DOI BibTeX RDF
21	Birthe van den Berg, Tom Schrijvers	A Framework for Higher-Order Effects & Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers	A Calculus for Scoped Effects & Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi	Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Youyou Cong, Kenichi Asai	Towards a Reflection for Effect Handlers.	PEPM@POPL	2023	DBLP DOI BibTeX RDF
21	Terran Mott, Tom Williams 0001	How Can Dog Handlers Help Us Understand the Future of Wilderness Search & Rescue Robots?	RO-MAN	2023	DBLP DOI BibTeX RDF
21	Wanhong Huang 0001, Stefan Marr, Tomoharu Ugawa	Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm.	SAC	2023	DBLP DOI BibTeX RDF
21	Paulo Emílio de Vilhena, François Pottier	A Type System for Effect Handlers and Dynamic Labels.	ESOP	2023	DBLP DOI BibTeX RDF
21	Pingshi Yu	Reasoning about MLIR Semantics through Effects and Handlers.	ISSTA	2023	DBLP DOI BibTeX RDF
21	Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara	Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.	PPDP	2023	DBLP DOI BibTeX RDF
21	Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay	Effect Handlers for Programmable Inference.	Haskell	2023	DBLP DOI BibTeX RDF
21	Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen	First-class names for effect handlers.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
21	Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg	High-level effect handlers in C++.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
21	Takahiro Sanada	Category-Graded Algebraic Theories and Effect Handlers.	MFPS	2022	DBLP DOI BibTeX RDF