Search results for "Handlers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Timothy Guan, Ye Chow Kuang, Melanie Po-Leen Ooi, Xiang Gin Cheah, Yeung Shun Tan, Serge N. Demidenko	Data-Driven Condition-Based Maintenance of Test Handlers in Semiconductor Manufacturing.	DELTA	2011	DBLP DOI BibTeX RDF
21	Loïc Duflot, Olivier Grumelard, Olivier Levillain, Benjamin Morin	ACPI and SMI handlers: some limits to trusted computing.	J. Comput. Virol.	2010	DBLP DOI BibTeX RDF
21	Éric Rutten, Hervé Marchand	Automatic generation of safe handlers for multi-task systems.	J. Embed. Comput.	2009	DBLP DOI BibTeX RDF
21	Jim Ras, Albert Mo Kim Cheng	Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm.	RTCSA	2009	DBLP DOI BibTeX RDF
21	Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga	DRACULA: Detector of Data Races in Signals Handlers.	APSEC	2008	DBLP DOI BibTeX RDF
21	Thomas Karagiannis, Richard Mortier, Antony I. T. Rowstron	Network exception handlers: host-network control in enterprise networks.	SIGCOMM	2008	DBLP DOI BibTeX RDF
21	Xiangtong Qi, Jonathan F. Bard	Generating labor requirements and rosters for mail handlers using simulation and optimization.	Comput. Oper. Res.	2006	DBLP DOI BibTeX RDF
21	Gwenaël Delaval, Éric Rutten	A domain-specific language for task handlers generation, applying discrete controller synthesis.	SAC	2006	DBLP DOI BibTeX RDF	discrete control synthesis, safe design, real-time systems, domain-specific language, synchronous programming
21	Hee-Sang Yoon, Tae-Hyoung Park	A Fast Focusing Method for CCM Auto-Focusing Handlers.	ROBIO	2006	DBLP DOI BibTeX RDF
21	Cyrille Artho, Armin Biere, Shinichi Honiden	Exhaustive Testing of Exception Handlers with Enforcer.	FMCO	2006	DBLP DOI BibTeX RDF
21	Jens-Werner Hinrichs, Karsten Stroborn, Sebastian van Baal	(Mobiles) Bezahlen aus der Sicht des Online-Händlers: Status Quo und Perspektiven.	Workshop Mobile Commerce	2004	DBLP BibTeX RDF
21	Ada Gavrilovska	SPLITS Stream Handlers: Deploying Application-level Services to Attached Network Processor.		2004	RDF
21	Christian Poellabauer, Karsten Schwan	Power-aware video decoding using real-time event handlers.	WOWMOM	2002	DBLP DOI BibTeX RDF	mobile devices, energy, event service
21	Dong Zhou, Karsten Schwan	Eager Handlers: Communication Optimization in Java-based Distributed Applications with Fine-grained Code Migration.	IPDPS	2001	DBLP DOI BibTeX RDF
21	Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek	ASHs application-specific handlers for high-performance messaging.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	user-level networking, protocols, operating systems, computer networks, software protection, dynamic code generation, modular computer systems
21	David D. Langan	Condition handlers for dataflow procedures.	ACM Southeast Regional Conference	1990	DBLP DOI BibTeX RDF
21	Paul A. Jennings	Ada interrupt handlers for hard real-time systems.	TRI-Ada	1990	DBLP DOI BibTeX RDF
12	Andy J. Wellings, MinSeong Kim	Asynchronous event handling and safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	safety critical Java, threads, real-time specification for Java, asynchronous events
12	Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
12	Sadaf Mustafiz, Jörg Kienzle	DREP: A Requirements Engineering Process for Dependable Reactive Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
12	Suman Karumuri, Steven P. Reiss	Automatic detection of internal queues and stages in message processing systems.	ICPC	2009	DBLP DOI BibTeX RDF
12	Hanna Eberle, Stefan Föll, Klaus Herrmann 0001, Frank Leymann, Annapaola Marconi, Tobias Unger, Hannes Wolf	Enforcement from the Inside: Improving Quality of Business in Process Management.	ICWS	2009	DBLP DOI BibTeX RDF
12	Jason Ansel, Kapil Arya, Gene Cooperman	DMTCP: Transparent checkpointing for cluster computations and the desktop.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar	Transactifying Apache's cache module.	SYSTOR	2009	DBLP DOI BibTeX RDF	software transactional memory
12	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard	A predictable Java profile: rationale and implementations.	JTRES	2009	DBLP DOI BibTeX RDF	Java, real-time
12	Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel Lohmann	Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.	CASES	2009	DBLP DOI BibTeX RDF	ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling
12	Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski	Stack bounds analysis for microcontroller assembly code.	WESS	2009	DBLP DOI BibTeX RDF	model checking, verification, static analysis, embedded software, assembly code
12	Armand Navabi, Suresh Jagannathan	Exceptionally Safe Futures.	COORDINATION	2009	DBLP DOI BibTeX RDF
12	Zhong Shao	Modular Development of Certified System Software.	TASE	2009	DBLP DOI BibTeX RDF
12	Andreas Naderlinger, Josef Templ	A framework for command processing in Java/Swing programs based on the MVC pattern.	PPPJ	2008	DBLP DOI BibTeX RDF	Java, framework, pattern, exception, MVC, undo, command, redo, Swing
12	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
12	Gunar Schirner, Andreas Gerstlauer, Rainer Dömer	Automatic generation of hardware dependent software for MPSoCs from abstract system specifications.	ASP-DAC	2008	DBLP DOI BibTeX RDF
12	Toyotaro Suzumura, Scott Trent, Michiaki Tatsubori, Akihiko Tozawa, Tamiya Onodera	Performance Comparison of Web Service Engines in PHP, Java and C.	ICWS	2008	DBLP DOI BibTeX RDF
12	Liliana Ardissono, Stefano Bocconi, Luca Console, Roberto Furnari, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré	Enhancing Web Service Composition by Means of Diagnosis.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
12	Massimiliano de Leoni, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Visual Support for Work Assignment in Process-Aware Information Systems.	BPM	2008	DBLP DOI BibTeX RDF	work list visualisation, YAWL, Process-aware Information Systems
12	Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith	Property models: from incidental algorithms to reusable components.	GPCE	2008	DBLP DOI BibTeX RDF	user interfaces, software reuse, component software, declarative specifications, constraint systems
12	Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
12	Andy J. Wellings, M. S. Kim	Processing group parameters in the real-time specification for Java.	JTRES	2008	DBLP DOI BibTeX RDF
12	Sergey Bratus, Nihal D'Cunha, Evan R. Sparks, Sean W. Smith	TOCTOU, Traps, and Trusted Computing.	TRUST	2008	DBLP DOI BibTeX RDF
12	Ron B. Yeh, Andreas Paepcke, Scott R. Klemmer	Iterative design and evaluation of an event architecture for pen-and-paper interfaces.	UIST	2008	DBLP DOI BibTeX RDF	device ensembles, evaluation, toolkits, augmented paper
12	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A Formal Account of WS-BPEL.	COORDINATION	2008	DBLP DOI BibTeX RDF
12	Nélio Cacho, Fernando Castor Filho, Alessandro Garcia 0001, Eduardo Figueiredo 0001	EJFlow: taming exceptional control flows in aspect-oriented programming.	AOSD	2008	DBLP DOI BibTeX RDF	exception control flow, metrics, aspect-oriented programming, modularity, exception handling
12	Richard K. Leach, Christopher W. Jones	Towards a Traceable Infrastructure for Low Force Measurements.	IPAS	2008	DBLP DOI BibTeX RDF
12	Yoshiro Imai, Keiichi Kaneko, Masaki Nakagawa	Design of a web-based visual simulator and its evaluation based on real computer education.	SimuTools	2008	DBLP DOI BibTeX RDF	built-in e-mail handler, visualization, computer simulator
12	Sohrab Khanmohammadi, Hamid Ghadiri, Mohammad Reza Jahed-Motlagh	Modeling of helper robots in manufacturing systems using Petri Nets.	IJCNN	2008	DBLP DOI BibTeX RDF
12	Andoni Lombide Carreton, Tom Van Cutsem, Wolfgang De Meuter	Reactive queries in mobile ad hoc networks.	MPAC	2008	DBLP DOI BibTeX RDF	AmbientTalk, mobile ad hoc networks, reactive programming, event-driven programming
12	Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen	On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
12	Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	Accurate Application-Specific Sandboxing for Win32/Intel Binaries.	IAS	2007	DBLP DOI BibTeX RDF
12	Sylvain Stanchina, Matthias Meyer	Exploiting the efficiency of generational algorithms for hardware-supported real-time garbage collection.	SAC	2007	DBLP DOI BibTeX RDF	object-based processor architecture, write barrier, real-time garbage collection, generational garbage collection
12	Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews	Code Compaction of an Operating System Kernel.	CGO	2007	DBLP DOI BibTeX RDF
12	Stefan Staiger	Static Analysis of Programs with Graphical User Interface.	CSMR	2007	DBLP DOI BibTeX RDF
12	Stefan Staiger	Reverse Engineering of Graphical User Interfaces Using Static Analyses.	WCRE	2007	DBLP DOI BibTeX RDF
12	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A Calculus for Orchestration of Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
12	Dipanjan Chakraborty 0001, Vinod V. Mankar, Amit Anil Nanavati	Enabling Runtime Adaptation ofWorkflows to External Events in Enterprise Environments.	ICWS	2007	DBLP DOI BibTeX RDF
12	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Policy-based Runtime Partner Management in ProcessBased Services.	ICWS	2007	DBLP DOI BibTeX RDF
12	Bruno Cabral, Paulo Marques	Exception Handling: A Field Study in Java and .NET.	ECOOP	2007	DBLP DOI BibTeX RDF	Exception Handling Mechanisms, Programming Languages
12	David Herman	Functional pearl: the great escape or, how to jump the border without getting caught.	ICFP	2007	DBLP DOI BibTeX RDF	delimited control, continuations, dynamic binding
12	Serena Pastore	Distributed and local security policies for grid web-based resources.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
12	Magdi A. Mohamed, Weimin Xiao	Q-Filter computational structures for paradigm shifts in data engineering.	SMC	2007	DBLP DOI BibTeX RDF
12	Heiko Thimm, Kathrin Thimm	Explorative Configuration of Supplier Cooperation as an E-Marketplace Service.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Internet business collaboration, Inter-organizational enterprise systems, E-Commerce, Electronic marketplace
12	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPoPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
12	Michael Dalton, Hari Kannan, Christos Kozyrakis	Raksha: a flexible information flow architecture for software security.	ISCA	2007	DBLP DOI BibTeX RDF	semantic vulnerabilities, dynamic, software security
12	Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Bhandari Aditya, Emmett Witchel	MetaTM//TxLinux: transactional memory for an operating system.	ISCA	2007	DBLP DOI BibTeX RDF	MetaTM, OS support, TxLinux, transactional memory
12	Weihua Zhang, Xinglong Qian, Ye Wang, Binyu Zang, Chuanqi Zhu	Optimizing compiler for shared-memory multiple SIMD architecture.	LCTES	2006	DBLP DOI BibTeX RDF	multiple SIMD, optimization, locality, replication, shared memory
12	Liliana Ardissono, Roberto Furnari, Anna Goy, Giovanna Petrone, Marino Segnan	Fault Tolerant Web Service Orchestration by Means of Diagnosis.	EWSA	2006	DBLP DOI BibTeX RDF
12	Aaron Shui, Sadaf Mustafiz, Jörg Kienzle	Exception-Aware Requirements Elicitation with Use Cases.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
12	Donna Malayeri, Jonathan Aldrich	Practical Exception Specifications.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
12	Huaidong Shi, Ming Cai, Jinxiang Dong	Interrupt Synchronization Lock for Real-time Operating Systems.	CIT	2006	DBLP DOI BibTeX RDF
12	Dick C. A. Bulterman, Pablo César, A. J. Jansen 0001	An architecture for viewer-side enrichment of TV content.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	personal digital recorder, SMIL, content enrichment
12	Brian Chin, Todd D. Millstein	Responders: Language Support for Interactive Applications.	ECOOP	2006	DBLP DOI BibTeX RDF
12	Daniel Stodden, Hubert Eichner, Max Walter, Carsten Trinitis	Hardware Instruction Counting for Log-Based Rollback Recovery on x86-Family Processors.	ISAS	2006	DBLP DOI BibTeX RDF
12	Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun	The Atomos transactional programming language.	PLDI	2006	DBLP DOI BibTeX RDF	conditional synchronization, java, transactional memory, multiprocessor architecture
12	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
12	Håkan Zeffer, Zoran Radovic, Martin Karlsson, Erik Hagersten	TMA: a trap-based memory architecture.	ICS	2006	DBLP DOI BibTeX RDF	distributed shared memory (DSM), low complexity server design, node coherence checks, server design, simultaneous multi-threading (SMT), software coherence, trap-based memory architecture (TMA), chip multi processor (CMP)
12	Yuting Zhang, Richard West	Process-Aware Interrupt Scheduling and Accounting.	RTSS	2006	DBLP DOI BibTeX RDF
12	Robert I. Davis 0001, Alan Burns 0001	Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems.	RTSS	2006	DBLP DOI BibTeX RDF
12	Pawel Kaczmarek, Bogdan Krefft, Henryk Krawczyk	Coordinated Exception Handling in J2EE Applications.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
12	Rogério de Lemos	Architectural Fault Tolerance Using Exception Handling.	WADS	2006	DBLP DOI BibTeX RDF
12	Austen McDonald, JaeWoong Chung, Brian D. Carlstrom, Chi Cao Minh, Hassan Chafi, Christos Kozyrakis, Kunle Olukotun	Architectural Semantics for Practical Transactional Memory.	ISCA	2006	DBLP DOI BibTeX RDF
12	Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	How to Automatically and Accurately Sandbox Microsoft IIS.	ACSAC	2006	DBLP DOI BibTeX RDF
12	Shujuan Jiang, Baowen Xu	An efficient and reliable object-oriented exception handling mechanism.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	inheritance hierarchy, C++, C++, programming languages, exception handling, object-oriented systems
12	Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott	Robustness Testing of Java Server Applications.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	def-use testing, test coverage metrics, Java, Reliability, exceptions
12	Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Christophe Dony	Exceptional Use Cases.	MoDELS	2005	DBLP DOI BibTeX RDF
12	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
12	Gregory Craske, Caspar Ryan	Adapting Rigidly Specified Workflow in the Absence of Detailed Ontology.	OTM Workshops	2005	DBLP DOI BibTeX RDF
12	Clauirton de Siebra, Austin Tate	Integrating Collaboration and Activity-Oriented Planning for Coalition Operations Support.	RoboCup	2005	DBLP DOI BibTeX RDF
12	Tiziana Margaria, Bernhard Steffen	Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services.	WRAC	2005	DBLP DOI BibTeX RDF
12	Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen	Continuations from generalized stack inspection.	ICFP	2005	DBLP DOI BibTeX RDF	A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
12	Fu-ren Lin, Hsiang-chin Chang	The development and evaluation of exception handling mechanisms for order fulfillment process based on BPEL4WS.	ICEC	2005	DBLP DOI BibTeX RDF	Web service, resource management, supply chain management, exception handling, BPEL4WS
12	John Regehr	Random testing of interrupt-driven software.	EMSOFT	2005	DBLP DOI BibTeX RDF	interrupt-driven software, sensor networks, embedded systems, random testing
12	Ada Gavrilovska, Sanjay Kumar, Srikanth Sundaragopalan, Karsten Schwan	Platform Overlays: enabling in-network stream processing in large-scale distributed applications.	NOSSDAV	2005	DBLP DOI BibTeX RDF	network processors, streaming applications
12	Kun Myon Choi, Eui-nam Huh, Hyunseung Choo	Efficient Resource Management Scheme of TCP Buffer Tuned Parallel Stream to Optimize System Performance.	EUC Workshops	2005	DBLP DOI BibTeX RDF
12	Christophe Garion, Leendert W. N. van der Torre	Design by Contract Deontic Design Language for Multiagent Systems.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
12	Yves Petinot, C. Lee Giles, Vivek Bhatnagar, Pradeep B. Teregowda, Hui Han 0001, Isaac G. Councill	CiteSeer-API: towards seamless resource location and interlinking for digital libraries.	CIKM	2004	DBLP DOI BibTeX RDF	citeceer-API, interlink, semantic web, digital libraries, interoperability, interfaces, services, citeseer
12	Harold Carr	Server-side encoding, protocol and transport extensibility for remoting systems.	ICSOC	2004	DBLP DOI BibTeX RDF	adaptive, middleware, SOAP, messaging, RMI, RPC, IIOP
12	Andrea Ferrara	Web services: a process algebra approach.	ICSOC	2004	DBLP DOI BibTeX RDF	web services, formal methods, process algebra, BPEL4WS
12	Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere	Detecting Data Races in Sequential Programs with DIOTA.	Euro-Par	2004	DBLP DOI BibTeX RDF
12	Judith Bishop, R. Nigel Horspool	Developing principles of GUI programming using views.	SIGCSE	2004	DBLP DOI BibTeX RDF	event-based programming, XML, graphical user interfaces, platform independence
12	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
12	Daniel Citron, Gadi Haber, Roy Levin	Reducing program image size by extracting frozen code and data.	EMSOFT	2004	DBLP DOI BibTeX RDF	feedback directed, frozen code, frozen data, image size