Search results for "coroutines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Ana Lúcia de Moura, Roberto Ierusalimschy	Revisiting coroutines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	generators, Continuations, multitasking
69	Adrien Guillon, Deborah Loach	YetiSim: a C++ simulation library with execution graphs instead of coroutines.	SpringSim	2008	DBLP DOI BibTeX RDF	execution graph, threading building blocks, UML, C++, coroutines
45	Silvana Rossetto, Noemi de La Rocque Rodriguez	A cooperative multitasking model for networked sensors.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	event-driven model, cooperative multitasking, Sensor networks, programming models, TinyOS, coroutines
45	Steve Dekorte	Io: a small programming language.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	prototype-based, object oriented, languages, actors, lazy evaluation, coroutines
45	Ikuo Nakata, Masataka Sassa	Programming with Streams in a Pascal-Like Language.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages
42	Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noemi de La Rocque Rodriguez	Using Coroutines for RPC in Sensor Networks.	IPDPS	2007	DBLP DOI BibTeX RDF
42	James Laird	A Calculus of Coroutines.	ICALP	2004	DBLP DOI BibTeX RDF
42	Mirjana Ivanovic, Zoran Budimac	Involving coroutines in interaction between functional and conventional language.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
36	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
36	Donald E. Knuth, Frank Ruskey	Efficient Coroutine Generation of Constrained Gray Sequences.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
36	Peter A. Buhr, W. Y. Russell Mok	Advanced Exception Handling Mechanisms.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	resumption, concurrent, object-oriented, robustness, Exception handling, interrupts, termination
36	Gary Lindstrom	Backtracking in a Generalized Control Setting.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
36	Jorma Sajaniemi	The Safety of a Coroutine System.	ICALP	1977	DBLP DOI BibTeX RDF
27	Olin Shivers, Matthew Might	Continuations and transducer composition.	PLDI	2006	DBLP DOI BibTeX RDF	lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
27	Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil	An Implementation Technique for Database Query Languages.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	database interfaces, lazy evaluation, applicative programing, coroutines
24	Qiqi Gu, Wei Ke 0001	Typing Requirement Model as Coroutines.	IEEE Access	2024	DBLP DOI BibTeX RDF
24	Conor John Williams, James Elliott	Libfork: portable continuation-stealing with stackless coroutines.	CoRR	2024	DBLP DOI BibTeX RDF
24	Qiqi Gu, Wei Ke 0001	Typing Composable Coroutines.	CoRR	2023	DBLP DOI BibTeX RDF
24	Jens Egholm Pedersen, Jörg Conradt	AEStream: Accelerated event-based processing with coroutines.	NICE	2023	DBLP DOI BibTeX RDF
24	Nikita Koval, Dan Alistarh, Roman Elizarov	Fast and Scalable Channels in Kotlin Coroutines.	PPoPP	2023	DBLP DOI BibTeX RDF
24	Mirai Ikebuchi, Andres Erbsen, Adam Chlipala	Certifying derivation of state machines from coroutines.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
24	Jens Egholm Pedersen, Jörg Conradt	AEStream: Accelerated event-based processing with coroutines.	CoRR	2022	DBLP DOI BibTeX RDF
24	Nikita Koval, Dan Alistarh, Roman Elizarov	Fast and Scalable Channels in Kotlin Coroutines.	CoRR	2022	DBLP DOI BibTeX RDF
24	Dorian Weber, Paula Wiesner, Joachim Fischer	A closer look at process-based simulation with stackless coroutines.	Inf. Softw. Technol.	2022	DBLP DOI BibTeX RDF
24	Leonard von Merzljak, Philipp Fent, Thomas Neumann 0001, Jana Giceva	What Are You Waiting For? Use Coroutines for Asynchronous I/O to Hide I/O Latencies and Maximize the Read Bandwidth!	ADMS@VLDB	2022	DBLP BibTeX RDF
24	Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider	Runtime Verification of Kotlin Coroutines.	RV	2022	DBLP DOI BibTeX RDF
24	D. Beronic, L. Modric, Branko Mihaljevic, Aleksander Radovan	Comparison of Structured Concurrency Constructs in Java and Kotlin - Virtual Threads and Coroutines.	MIPRO	2022	DBLP DOI BibTeX RDF
24	Bruce Belson, Bronson Philippa	Speeding up Machine Learning Inference on Edge Devices by Improving Memory Access Patterns using Coroutines.	CSE	2022	DBLP DOI BibTeX RDF
24	Bruce Belson, Wei Xiang 0001, Jason Holdsworth, Bronson Philippa	C++20 Coroutines on Microcontrollers - What We Learned.	IEEE Embed. Syst. Lett.	2021	DBLP DOI BibTeX RDF
24	Nikita Koval, Dmitry Khalanskiy, Dan Alistarh	A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines.	CoRR	2021	DBLP BibTeX RDF
24	Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov	Kotlin coroutines: design and implementation.	Onward!	2021	DBLP DOI BibTeX RDF
24	Ole Lehrmann Madsen	Using Coroutines for Multi-core Preemptive Scheduling.	PLOS@SOSP	2021	DBLP DOI BibTeX RDF
24	Aamir Shafi, Jahanzeb Maqbool Hashmi, Hari Subramoni, Dhabaleswar K. Panda 0001	Blink: Towards Efficient RDMA-based Communication Coroutines for Parallel Python Applications.	HiPC	2020	DBLP DOI BibTeX RDF
24	Satoru Kawahara, Yukiyoshi Kameyama	One-Shot Algebraic Effects as Coroutines.	TFP	2020	DBLP DOI BibTeX RDF
24	Dorian Weber, Joachim Fischer	Process-Based Simulation with Stackless Coroutines.	SAM	2020	DBLP DOI BibTeX RDF
24	Bruce Belson, Jason Holdsworth, Wei Xiang 0001, Bronson Philippa	A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
24	Bruce Belson, Jason Holdsworth, Wei Xiang 0001, Bronson Philippa	A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems.	CoRR	2019	DBLP BibTeX RDF
24	Georgios Psaropoulos, Thomas Legler, Norman May, Anastasia Ailamaki	Interleaving with coroutines: a systematic and practical approach to hide memory latency in index joins.	VLDB J.	2019	DBLP DOI BibTeX RDF
24	Hirochika Asai	Deep Pipelining: Efficient Pipelining of Network Function Chains with Coroutines.	NetSoft	2019	DBLP DOI BibTeX RDF
24	Aleksandar Prokopec, Fengyun Liu	On the Soundness of Coroutines with Snapshots.	CoRR	2018	DBLP BibTeX RDF
24	Dimitri Racordon	Coroutines with Higher Order Functions.	CoRR	2018	DBLP BibTeX RDF
24	Christopher Jonathan, Umar Farooq Minhas, James Hunter, Justin J. Levandoski, Gor V. Nishanov	Exploiting Coroutines to Attack the "Killer Nanoseconds". (PDF / PS)	Proc. VLDB Endow.	2018	DBLP DOI BibTeX RDF
24	Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink	Deadlock Detection for Actor-Based Coroutines.	FM	2018	DBLP DOI BibTeX RDF
24	Aleksandar Prokopec, Fengyun Liu	Theory and Practice of Coroutines with Snapshots.	ECOOP	2018	DBLP DOI BibTeX RDF
24	Georgios Psaropoulos, Thomas Legler, Norman May, Anastasia Ailamaki	Interleaving with Coroutines: A Practical Approach for Robust Index Joins. (PDF / PS)	Proc. VLDB Endow.	2017	DBLP DOI BibTeX RDF
24	Vincent Nys, Danny De Schreye	Abstract conjunctive partial deduction for the analysis and compilation of coroutines.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
24	Tristan Crolard	A verified abstract machine for functional coroutines.	WoC	2015	DBLP DOI BibTeX RDF
24	Vincent Nys	Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction.	ICLP (Technical Communications)	2015	DBLP BibTeX RDF
24	Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi	QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines.	PEPM	2014	DBLP DOI BibTeX RDF
24	Danny De Schreye, Vincent Nys, Colin J. Nicholson	Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction.	LOPSTR	2014	DBLP DOI BibTeX RDF
24	Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi	QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines.	CoRR	2013	DBLP BibTeX RDF
24	Zhen Li 0006, Eileen T. Kraemer	Programming with Concurrency: Threads, Actors, and Coroutines.	IPDPS Workshops	2013	DBLP DOI BibTeX RDF
24	Oleg Kiselyov, Chung-chieh Shan	Monolingual Probabilistic Programming Using Generalized Coroutines	CoRR	2012	DBLP BibTeX RDF
24	Lukas Stadler, Thomas Würthinger, Christian Wimmer	Efficient coroutines for the Java platform.	PPPJ	2010	DBLP DOI BibTeX RDF
24	Konrad Anton, Peter Thiemann 0001	Towards Deriving Type Systems and Implementations for Coroutines.	APLAS	2010	DBLP DOI BibTeX RDF
24	Konrad Anton, Peter Thiemann 0001	Typing Coroutines.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
24	Oleg Kiselyov, Chung-chieh Shan	Monolingual Probabilistic Programming Using Generalized Coroutines.	UAI	2009	DBLP BibTeX RDF
24	Jack A. Laird	A calculus of coroutines.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
24	György E. Révész	Experimenting with tail-recursion and simulating coroutines.	ACM SIGCSE Bull.	1998	DBLP DOI BibTeX RDF
24	Norman D. Thomson	APL and coroutines.	ACM SIGAPL APL Quote Quad	1994	DBLP DOI BibTeX RDF
24	Luis Mateu	An Efficient Implementation for Coroutines.	IWMM	1992	DBLP DOI BibTeX RDF
24	Gérard Padiou	Nested Coroutines for Exception Handling in Modula-2.	Struct. Program.	1990	DBLP BibTeX RDF
24	Wolfgang Kreutzer, Malcolm Stairmand	C-Flavours: A Scheme-Based Flavour System with Coroutines and its Application to the Design of Object-Oriented Simulation Software.	Comput. Lang.	1990	DBLP DOI BibTeX RDF
24	Lloyd Allison	Direct Semantics and Exceptions Define Jumps and Coroutines.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
24	Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand	Obtaining Coroutines with Continuations.	Comput. Lang.	1986	DBLP DOI BibTeX RDF
24	I. A. Horton, Stephen J. Turner	Using Coroutines in Pascal.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
24	Theo de Ridder	Coroutines for C Reconsidered.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
24	Graham M. Birtwistle	The coroutines of Hanoi.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
24	Hanan Samet	Bidirectional Coroutines.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
24	B. Dwyer	Should Cobol Support Coroutines.	Aust. Comput. J.	1985	DBLP BibTeX RDF
24	Paul A. Bailes	A Low-Cost Implementation of Coroutines for C.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
24	A. J. Fischer	Guarded and Unguarded Coroutines: an Implementation in BCPL.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
24	Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand	Continuations and Coroutines.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
24	Pierre Cointe	Ue implémentation des coroutines en Lisp, application à Smalltalk.	Symposium on Programming	1984	DBLP DOI BibTeX RDF
24	Harley Flanders	Coroutines in Pascal.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
24	Lloyd Allison	Stable Marriages by Coroutines.	Inf. Process. Lett.	1983	DBLP DOI BibTeX RDF
24	J. R. W. Glauert	Evaluating recursive relational queries modelled by networks of coroutines.		1983	RDF
24	Gary Lindstrom, Mary Lou Soffa	Referencing and Retention in Block-Structured Coroutines.	ACM Trans. Program. Lang. Syst.	1981	DBLP DOI BibTeX RDF
24	Edmund M. Clarke	Proving Correctness of Coroutines Without History Variables.	Acta Informatica	1980	DBLP DOI BibTeX RDF
24	J. Kriz, H. Sandmayr	Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation.	Softw. Pract. Exp.	1980	DBLP DOI BibTeX RDF
24	Chris D. Marlin	Coroutines: A Programming Methodology, a Language Design and an Implementation		1980	DOI RDF
24	Ryszard Janicki	Analysis of vectors of coroutines by means of components.	FCT	1979	DBLP BibTeX RDF
24	Rudolf Marty, L. Vanek	Hierarchical Coroutines: A Mechanism for Improved Program Structure.	ICSE	1979	DBLP BibTeX RDF
24	Brian Lewis	Further comments on "a view of coroutines".	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
24	Emmanuel Skordalakis, George K. Papakonstantinou	Coroutines in FORTRAN.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
24	Tom Jacobsen	Another view of coroutines.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
24	Jean Bézivin, Jean Louis Nebut, Robert Rannou	Another view of coroutines.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
24	Edmund M. Clarke	Proving the correctness of coroutines without history variables.	ACM-SE	1978	DBLP DOI BibTeX RDF
24	Dick Grune	A view of coroutines.	ACM SIGPLAN Notices	1977	DBLP DOI BibTeX RDF
24	Gilles Kahn, David B. MacQueen	Coroutines and Networks of Parallel Processes.	IFIP Congress	1977	DBLP BibTeX RDF
24	Ryszard Janicki	Vectors of Coroutines over Blikle Nets.	FCT	1977	DBLP DOI BibTeX RDF
24	William Stallings	An application of coroutines and backtracking in interactive systems.	Int. J. Parallel Program.	1976	DBLP DOI BibTeX RDF
24	Ryszard Janicki	Vectors of Coroutines.	MFCS	1976	DBLP DOI BibTeX RDF
24	Bernd Krieg	A Class of Recursive Coroutines.	IFIP Congress	1974	DBLP BibTeX RDF
24	Maurice Clint	Program Proving: Coroutines.	Acta Informatica	1973	DBLP DOI BibTeX RDF
18	Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria	Modeling and simulation of complex heterogeneous systems.	ISCAS	2008	DBLP DOI BibTeX RDF
18	Olaf Chitil, Frank Huch	Monadic, Prompt Lazy Assertions in Haskell.	APLAS	2007	DBLP DOI BibTeX RDF
18	Luca Cardelli	An Accidental Simula User.	ECOOP	2007	DBLP DOI BibTeX RDF
18	Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho	The evolution of Lua.	HOPL	2007	DBLP DOI BibTeX RDF
18	Peter A. Buhr, Roy Krischer	Bound Exceptions in Object-Oriented Programming.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF