Search results for "sequentiality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Myoung Kwon Tcheun, Hyunsoo Yoon, Seung Ryoul Maeng	An adaptive sequential prefetching scheme in shared-memory multiprocessors.	ICPP	1997	DBLP DOI BibTeX RDF	adaptive sequential prefetching scheme, hardware controlled scheme, high sequentiality, shared-memory multiprocessors, shared memory systems, application programs, sequentiality, memory accesses
98	Andrew Y. Lindell	Local Sequentiality Does Not Help for Concurrent Composition.	CT-RSA	2009	DBLP DOI BibTeX RDF
83	Kei Ohnishi, Kumara Sastry, Ying-Ping Chen, David E. Goldberg	Inducing Sequentiality Using Grammatical Genetic Codes.	GECCO (1)	2004	DBLP DOI BibTeX RDF
70	Julio Mariño, Juan José Moreno-Navarro	Using Static Analysis to Compile Non-sequential Functional Logic Programs.	PADL	2000	DBLP DOI BibTeX RDF	Interpretation, Sequentiality, Functional Logic Programming
64	Zuhua Shao	On the Sequentiality of Three Optimal Structured Multisignature Schemes.	ISPEC	2007	DBLP DOI BibTeX RDF	structured multisignature, order forge attack, Cryptanalysis, sequentiality
64	Samuel R. Buss, Bruce M. Kapron	Resource-Bounded Continuity and Sequentiality for Type-Two Functionals.	LICS	2000	DBLP DOI BibTeX RDF	type-two functionals, higher-type complexity, continuity, sequentiality
64	Alan Jay Smith	Sequentiality and Prefetching in Database Systems.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	dynamic programming, prefetching, buffer management, database systems, IMS, paging, sequentiality
60	Florent Jacquemard	Decidable Approximations of Term Rewriting Systems.	RTA	1996	DBLP DOI BibTeX RDF
60	Delia Kesner	Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors.	CADE	1992	DBLP DOI BibTeX RDF
53	Jie S. Hu, A. Nadgir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mahmut T. Kandemir	Exploiting program hotspots and code sequentiality for instruction cache leakage management.	ISLPED	2003	DBLP DOI BibTeX RDF	leakage power, cache design
45	Tamás Gaál	Is this Finite-State Transducer Sequentiable?	CIAA	2001	DBLP DOI BibTeX RDF
45	R. C. Sekar 0001, I. V. Ramakrishnan	Programming with Equations: A Framework for Lazy Parallel Evaluation.	CADE	1992	DBLP DOI BibTeX RDF
41	Windsor W. Hsu, Alan Jay Smith, Honesty C. Young	I/O reference behavior of production database workloads and the TPC benchmarks - an analysis at the logical level.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	TPC benchmarks, production database workloads, reference behavior, caching, locality, prefetching, workload characterization, I/O, sequentiality
38	Oscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón	Sequentiality Induced by Spike Number in SNP Systems.	DNA	2008	DBLP DOI BibTeX RDF
38	Shuang Liang, Song Jiang 0001, Xiaodong Zhang 0001	STEP: Sequentiality and Thrashing Detection Based Prefetching to Improve Performance of Networked Storage Servers.	ICDCS	2007	DBLP DOI BibTeX RDF
38	Samuel R. Buss, Bruce M. Kapron	Resource-bounded continuity and sequentiality for type-two functionals.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Higher-order complexity, decision trees, sequential computation
38	Paola Bruscoli	A Purely Logical Account of Sequentiality in Proof Search.	ICLP	2002	DBLP DOI BibTeX RDF
38	Pierre-Louis Curien	On the Symmetry of Sequentiality.	MFPS	1993	DBLP DOI BibTeX RDF
38	Antonio Bucciarelli	Another Approach to Sequentiality: Kleene's Unimonotone Functions.	MFPS	1993	DBLP DOI BibTeX RDF
30	Jörg Endrullis, Roel C. de Vrijer	Reduction Under Substitution.	RTA	2008	DBLP DOI BibTeX RDF
30	Paolo Di Giamberardino, Claudia Faggian	Jump from Parallel to Sequential Proofs: Multiplicatives.	CSL	2006	DBLP DOI BibTeX RDF
30	Enrique Frías-Martínez, Vijay Karamcheti	A Customizable Behavior Model for Temporal Prediction of Web User Sequences.	WEBKDD	2002	DBLP DOI BibTeX RDF
30	Klaus Reinhardt	Strict Sequential P-completeness.	STACS	1997	DBLP DOI BibTeX RDF
30	Gérard Berry, Jean-Jacques Lévy	Minimal and Optimal Computations of Recursive Programs.	POPL	1977	DBLP DOI BibTeX RDF
26	Peter G. Sassone, D. Scott Wills, Gabriel H. Loh	Static strands: Safely exposing dependence chains for increasing embedded power efficiency.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	dependency collapsing, Architecture, energy, sequentiality
26	Peter G. Sassone, D. Scott Wills, Gabriel H. Loh	Static strands: safely collapsing dependence chains for increasing embedded power efficiency.	LCTES	2005	DBLP DOI BibTeX RDF	dependency collapsing, architecture, embedded, energy, sequentiality
23	Ching-Fang Li, I-Hsiang Wang	A Unified Study on Sequentiality in Universal Classification with Empirically Observed Statistics.	CoRR	2024	DBLP DOI BibTeX RDF
23	Erik Paul	Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.	Int. J. Found. Comput. Sci.	2024	DBLP DOI BibTeX RDF
23	Chris Peikert, Yi Tang	Cryptanalysis of Lattice-Based Sequentiality Assumptions and Proofs of Sequential Work.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
23	Alexandre Chenu	Leveraging sequentiality in Robot Learning : Application of the Divide & Conquer paradigm to Neuro-Evolution and Deep Reinforcement Learning. (Exploiter la séquentialité dans l'apprentissage robotique : une application du paradigme de diviser pour régner à la neuroévolution et à l'apprentissage par renforcement profond).		2023	RDF
23	Alexandre Chenu, Olivier Serris, Olivier Sigaud, Nicolas Perrin-Gilbert	Leveraging Sequentiality in Reinforcement Learning from a Single Demonstration.	CoRR	2022	DBLP DOI BibTeX RDF
23	Leon Li, Alex Orailoglu	JANUS-HD: Exploiting FSM Sequentiality and Synthesis Flexibility in Logic Obfuscation to Thwart SAT Attack While Offering Strong Corruption.	DATE	2022	DBLP DOI BibTeX RDF
23	Peter Kostolányi	Finite Ambiguity and Finite Sequentiality in Weighted Automata over Fields.	CSR	2022	DBLP DOI BibTeX RDF
23	Erik Paul	Finite Sequentiality of Unambiguous Max-Plus Tree Automata.	Theory Comput. Syst.	2021	DBLP DOI BibTeX RDF
23	Cristina Matache, Sean K. Moss, Sam Staton	Recursion and Sequentiality in Categories of Sheaves.	CoRR	2021	DBLP BibTeX RDF
23	Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi	On sequentiality and well-bracketing in the π-calculus.	CoRR	2021	DBLP BibTeX RDF
23	Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi	On sequentiality and well-bracketing in the π-calculus.	LICS	2021	DBLP DOI BibTeX RDF
23	Frederic Dörband, Thomas Feller 0001, Kevin Stier	Sequentiality of Group-Weighted Tree Automata.	LATA	2021	DBLP DOI BibTeX RDF
23	Cristina Matache, Sean K. Moss, Sam Staton	Recursion and Sequentiality in Categories of Sheaves.	FSCD	2021	DBLP DOI BibTeX RDF
23	Chinmay Rane, Gaël Dias, Alexis Lechervy, Asif Ekbal	Improving Neural Text Style Transfer by Introducing Loss Function Sequentiality.	SIGIR	2021	DBLP DOI BibTeX RDF
23	Erik Paul	Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.	ICALP	2020	DBLP DOI BibTeX RDF
23	Remigiusz Wisniewski, Monika Wisniewska, Marcin Jarnut	C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets.	IEEE Access	2019	DBLP DOI BibTeX RDF
23	Pierre-Alain Reynier, Didier Villevalois	Sequentiality of String-to-Context Transducers.	CoRR	2019	DBLP BibTeX RDF
23	Pierre-Alain Reynier, Didier Villevalois	Sequentiality of String-to-Context Transducers.	ICALP	2019	DBLP DOI BibTeX RDF
23	Po-Chun Chien, Jie-Hong R. Jiang	Time-Frame Folding: Back to the Sequentiality.	ICCAD	2019	DBLP DOI BibTeX RDF
23	Erik Paul	Finite Sequentiality of Unambiguous Max-Plus Tree Automata.	STACS	2019	DBLP DOI BibTeX RDF
23	Didier Villevalois	Simplifying Transducers using Sequentiality. (Simplification de transducteurs en utilisant la séquentialité).		2019	RDF
23	Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler	On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.	ACSD	2018	DBLP DOI BibTeX RDF
23	Li Li, Keqin Jiang	Spiking Neural P Systems with Anti-spikes Based on the Min-Sequentiality Strategy.	BIC-TA (1)	2018	DBLP DOI BibTeX RDF
23	Meng-Xiang Li, Chuan-Hoo Tan, Kwok-Kee Wei, Kan-Liang Wang	Sequentiality of Product Review Information Provision: An Information Foraging Perspective.	MIS Q.	2017	DBLP DOI BibTeX RDF
23	Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois	Degree of sequentiality of weighted automata.	CoRR	2017	DBLP BibTeX RDF
23	Norihiro Kamide	Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning.	Reports Math. Log.	2017	DBLP BibTeX RDF
23	Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois	Degree of Sequentiality of Weighted Automata.	FoSSaCS	2017	DBLP DOI BibTeX RDF
23	Erik Paul	The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable.	MFCS	2017	DBLP DOI BibTeX RDF
23	Stuart Reeves, Barry A. T. Brown	Embeddedness and sequentiality in social media.	CSCW	2016	DBLP DOI BibTeX RDF
23	Wout Dillen	Sequentiality in Genetic Digital Scholarly Editions. Models for Encoding the Dynamics of the Writing Process.	DH	2016	DBLP BibTeX RDF
23	Yongxi Cheng, Ding-Zhu Du, Feifeng Zheng	A new strongly competitive group testing algorithm with small sequentiality.	Ann. Oper. Res.	2015	DBLP DOI BibTeX RDF
23	Francieli Zanon Boito, Rodrigo Kassick, Philippe O. A. Navaux, Yves Denneulin	Towards fast profiling of storage devices regarding access sequentiality.	SAC	2015	DBLP DOI BibTeX RDF
23	Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli	On Applicative Similarity, Sequentiality, and Full Abstraction.	Correct System Design	2015	DBLP DOI BibTeX RDF
23	José Correa 0001, Jasper de Jong, Bart de Keijzer, Marc Uetz	The Curse of Sequentiality in Routing Games.	WINE	2015	DBLP DOI BibTeX RDF
23	Norihiro Kamide	Inconsistency and Sequentiality in LTL.	ICAART (2)	2015	DBLP BibTeX RDF
23	Stavros Theodorakis, Vassilis Pitsikalis, Petros Maragos	Dynamic-static unsupervised sequentiality, statistical subunits and lexicon for sign language recognition.	Image Vis. Comput.	2014	DBLP DOI BibTeX RDF
23	Lars Rune Christensen, Pernille Bjørn	Documentscape: intertextuality, sequentiality, & autonomy at work.	CHI	2014	DBLP DOI BibTeX RDF
23	Mohammad Naghshvar, Tara Javidi	Sequentiality and Adaptivity Gains in Active Hypothesis Testing.	IEEE J. Sel. Top. Signal Process.	2013	DBLP DOI BibTeX RDF
23	Nong Xiao, Yingjie Zhao, Fang Liu 0002, Zhiguang Chen	Dual queues cache replacement algorithm based on sequentiality detection.	Sci. China Inf. Sci.	2012	DBLP DOI BibTeX RDF
23	Mohammad Naghshvar, Tara Javidi	Sequentiality and Adaptivity Gains in Active Hypothesis Testing	CoRR	2012	DBLP BibTeX RDF
23	Faith Ellen, Danny Hendler, Nir Shavit	On the Inherent Sequentiality of Concurrent Objects.	SIAM J. Comput.	2012	DBLP DOI BibTeX RDF
23	Mohammad Naghshvar, Tara Javidi	Active hypothesis testing: Sequentiality and adaptivity gains.	CISS	2012	DBLP DOI BibTeX RDF
23	Samson Abramsky	Sequentiality vs. Concurrency in Games and Logic	CoRR	2011	DBLP BibTeX RDF
23	Andrei Paun, Manuela Sidoroff	Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
23	Luis Español, José Manuel García-Calcines, M. Carmen Mínguez	On Proper and Exterior Sequentiality.	Appl. Categorical Struct.	2010	DBLP DOI BibTeX RDF
23	Martin Churchill, James Laird	A Logic of Sequentiality.	CSL	2010	DBLP DOI BibTeX RDF
23	Albert Visser	Growing Commas. A Study of Sequentiality and Concatenation.	Notre Dame J. Formal Log.	2009	DBLP DOI BibTeX RDF
23	Daniel Kirsten, Sylvain Lombardy	Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata.	STACS	2009	DBLP DOI BibTeX RDF
23	James Laird	Nondeterminism and Observable Sequentiality.	CSL	2009	DBLP DOI BibTeX RDF
23	James Laird	Sequentiality and the CPS Semantics of Fresh Names.	MFPS	2007	DBLP DOI BibTeX RDF
23	Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur 0002	Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton	CoRR	2007	DBLP BibTeX RDF
23	Jim Laird	Sequentiality in Bounded Biorders.	Fundam. Informaticae	2005	DBLP BibTeX RDF
23	Salvador Lucas	Strong and NV-sequentiality of constructor systems.	Inf. Process. Lett.	2004	DBLP DOI BibTeX RDF
23	Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur 0002	Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
23	Samson Abramsky	Sequentiality vs. Concurrency In Games And Logic.	Math. Struct. Comput. Sci.	2003	DBLP DOI BibTeX RDF
23	Marie-Pierre Béal, Olivier Carton, Christophe Prieur 0002, Jacques Sakarovitch	Squaring transducers: an efficient procedure for deciding functionality and sequentiality.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
23	Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur 0002	Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
23	James Laird	Bistability: An Extensional Characterization of Sequentiality.	CSL	2003	DBLP DOI BibTeX RDF
23	Amin Farjudian	Sequentiality and Piecewise-affinity in Segments of Real-PCF.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
23	Jon G. Riecke, Anders Sandholm 0001	A Relational Account of Call-by-Value Sequentiality.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
23	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Sequentiality and the pi-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
23	Hubert Comon	Sequentiality, Monadic Second-Order Logic and Tree Automata.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
23	Salvador Lucas	Strong and NV-sequentiality of constructor systems.	WFLP	2000	DBLP BibTeX RDF
23	Marie-Pierre Béal, Olivier Carton, Christophe Prieur 0002, Jacques Sakarovitch	Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers.	LATIN	2000	DBLP DOI BibTeX RDF
23	Masahiko Sakai, Yoshihito Toyama	Semantics and Strong Sequentiality of Priority Term Rewriting Systems.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
23	Julio Mariño, Juan José Moreno-Navarro	Recovering Sequentiality in Functional-Logic Programs.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
23	Christiane Frougny	On the Sequentiality of the Successor Function.	Inf. Comput.	1997	DBLP DOI BibTeX RDF
23	Jon G. Riecke, Anders Sandholm 0001	A Relational Account of Call-by-Value Sequentiality.	LICS	1997	DBLP DOI BibTeX RDF
23	Salvador Lucas	Efficient Strong Sequentiality Using Replacement Restrictions.	SOFSEM	1997	DBLP DOI BibTeX RDF
23	Masahiko Sakai, Yoshihito Toyama	Semantics and Strong Sequentiality of Priority Term Rewriting Systems.	RTA	1996	DBLP DOI BibTeX RDF
23	Alessio Guglielmi	Sequentiality by Linear Implication and Universal Quantification.	STRICT	1995	DBLP DOI BibTeX RDF
23	Hubert Comon	Sequentiality, Second Order Monadic Logic and Tree Automata	LICS	1995	DBLP DOI BibTeX RDF
23	Arnon Avron, Nada Sasson	Stability, Sequentiality and Demand Driven Evaluation in Dataflow.	Formal Aspects Comput.	1994	DBLP DOI BibTeX RDF
23	Antonio Bucciarelli, Thomas Ehrhard	Sequentiality in an Extensional Framework	Inf. Comput.	1994	DBLP DOI BibTeX RDF