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 |
|