Search results for "sequentiality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Loïc Colson, Thomas Ehrhard	On Strong Stability and Higher-Order Sequentiality	LICS	1994	DBLP DOI BibTeX RDF
23	Jean-Pierre Jouannaud, Walid Sadfi	Strong Sequentiality of Left-Linear Overlapping Rewrite Systems.	CTRS	1994	DBLP DOI BibTeX RDF
23	Antonio Bucciarelli, Thomas Ehrhard	A Theory of Sequentiality.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
23	R. C. Sekar 0001, I. V. Ramakrishnan	Programming in Equational Logic: Beyond Strong Sequentiality	Inf. Comput.	1993	DBLP DOI BibTeX RDF
23	Michio Oyamaguchi	NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems.	SIAM J. Comput.	1993	DBLP DOI BibTeX RDF
23	Yoshihito Toyama	Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems	LICS	1992	DBLP DOI BibTeX RDF
23	Robert Cartwright, Matthias Felleisen	Observable Sequentiality and Full Abstraction.	POPL	1992	DBLP DOI BibTeX RDF
23	Jan Willem Klop, Aart Middeldorp	Sequentiality in Orthogonal Term Rewriting Systems.	J. Symb. Comput.	1991	DBLP DOI BibTeX RDF
23	Antonio Bucciarelli, Thomas Ehrhard	Sequentiality and Strong Stability	LICS	1991	DBLP DOI BibTeX RDF
23	R. C. Sekar 0001, I. V. Ramakrishnan	Programming in Equational Logic: Beyond Strong Sequentiality	LICS	1990	DBLP DOI BibTeX RDF
23	Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark	Stability and Sequentiality in Dataflow Networks.	ICALP	1990	DBLP DOI BibTeX RDF
23	Peter Thurston	Sequentiality in artificial neural networks : an account of three models exploring the benefit of time delayed feedback.		1990	RDF
23	Satish Thatte	A Refinement of Strong Sequentiality for Term Rewriting with Constructors	Inf. Comput.	1987	DBLP DOI BibTeX RDF
15	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
15	Ulrik Pagh Schultz, Mirko Bordignon, Kasper Støy	Robust and reversible self-reconfiguration.	IROS	2009	DBLP DOI BibTeX RDF
15	Sylvain Hallé, Roger Villemaire	Runtime monitoring of web service choreographies using streaming XML.	SAC	2009	DBLP DOI BibTeX RDF	streaming XML, web services, runtime monitoring
15	Yuan Mei, Samuel Madden 0001	ZStream: a cost-based query processor for adaptively detecting composite events.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimization, algorithm, streaming, complex event processing
15	Yu Zheng 0004, Lizhu Zhang, Xing Xie 0001, Wei-Ying Ma	Mining correlation between locations using human location history.	GIS	2009	DBLP DOI BibTeX RDF	location correlation, location history, GPS trajectory
15	Pavan K. Turaga, Rama Chellappa	Learning action dictionaries from video.	ICIP	2008	DBLP DOI BibTeX RDF
15	Yingjie Zhao, Nong Xiao	Saber: Sequential Access Based cachE Replacement to Reduce the Cache Miss Penalty.	ICYCS	2008	DBLP DOI BibTeX RDF
15	Zhe Zhang 0005, Kyuhyung Lee, Xiaosong Ma, Yuanyuan Zhou 0001	PFC: Transparent Optimization of Existing Prefetching Strategies for Multi-Level Storage Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
15	Ching-Shun Hsieh, Hui-Ling Lin, Shao-Shin Hung, Shih-Hao Shen, Ching-Hung Yeh	Exploiting Spatial Locality for Objects Layout in Virtual Environments.	PCM	2008	DBLP DOI BibTeX RDF	clustering, Virtual environments, prefetching, hypergraph, data placement
15	Amin Farjudian	Shrad: A Language for Sequential Real Number Computation.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
15	Xiaoning Ding, Song Jiang 0001, Feng Chen 0005	A buffer cache management scheme exploiting both temporal and spatial localities.	ACM Trans. Storage	2007	DBLP DOI BibTeX RDF	Caching, file systems, temporal locality, spatial locality, hard disk
15	Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini	Time-Annotated Sequences for Medical Data Mining.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
15	Yijun Liu, Pinghua Chen, Guobo Xie, Guangcong Liu, Zhenkun Li	Evaluating a Low-Power Dual-Core Architecture.	APPT	2007	DBLP DOI BibTeX RDF
15	Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini	Mining Clinical Data with a Temporal Dimension: A Case Study.	BIBM	2007	DBLP DOI BibTeX RDF
15	Dale Miller 0001, Alexis Saurin	From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.	CSL	2007	DBLP DOI BibTeX RDF
15	Pradeep Kumar 0001, M. Venkateswara Rao, P. Radha Krishna 0001, Raju S. Bapi	Using Sub-sequence Information with kNN for Classification of Sequential Data.	ICDCIT	2005	DBLP DOI BibTeX RDF	Similarity/Distance metric, Intrusion detection, Sequence mining, k-Nearest Neighbor Classification
15	Zhili Zhang, Changgeng Guo, Shu Yu, Deyu Qi 0001, Songqian Long	Web Prediction Using Online Support Vector Machine.	ICTAI	2005	DBLP DOI BibTeX RDF	Web prediction, support vector machine, online learning, multi-class
15	Amin Farjudian	Shrad: A Language for Sequential Real Number Computation.	CiE	2005	DBLP DOI BibTeX RDF
15	Pawel T. Wojciechowski	Concurrency Combinators for Declarative Synchronization.	APLAS	2004	DBLP DOI BibTeX RDF
15	Aurélien Bouteiller, Hinde-Lilia Bouziane, Thomas Hérault, Pierre Lemarinier, Franck Cappello	Hybrid Preemptive Scheduling of MPI Applications on the Grids.	GRID	2004	DBLP DOI BibTeX RDF
15	Haixun Wang, Fang Chu, Wei Fan 0001, Philip S. Yu, Jian Pei	A Fast Algorithm for Subspace Clustering by Pattern Similarity.	SSDBM	2004	DBLP DOI BibTeX RDF
15	Venkatesh Choppella	Polymorphic Type Reconstruction Using Type Equations.	IFL	2003	DBLP DOI BibTeX RDF
15	Elizabeth Varki, Arif Merchant, Jianzhang Xu, Xiaozhou Qiu	An integrated performance model of disk arrays.	MASCOTS	2003	DBLP DOI BibTeX RDF
15	Yingwu Zhu, Yiming Hu	Disk Built-in Caches: Evaluation on System Performance.	MASCOTS	2003	DBLP DOI BibTeX RDF
15	Aristides Efthymiou, Jim D. Garside	Adaptive Pipeline Structures fo Speculation Control.	ASYNC	2003	DBLP DOI BibTeX RDF
15	Enric Pastor, Marco A. Peña	Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems.	CHARME	2003	DBLP DOI BibTeX RDF
15	Alessio Guglielmi, Lutz Straßburger	A Non-commutative Extension of MELL.	LPAR	2002	DBLP DOI BibTeX RDF
15	Masayuki Umehara, Koji Iwanuma, Hidetomo Nabeshima	A Case-Based Recognition of Semantic Structures in HTML Documents.	IDEAL	2002	DBLP DOI BibTeX RDF
15	Akira Miyashita, Toshihito Fujiwara, Tsutomu Maruyama	A Placement/Routing Approach for FPGA Accelerators.	FPL	2002	DBLP DOI BibTeX RDF
15	Maria Gradinariu	Normality versus system mobility.	ICPADS	2002	DBLP DOI BibTeX RDF
15	Irène Durand	Autowrite: A Tool for Checking Properties of Term Rewriting Systems.	RTA	2002	DBLP DOI BibTeX RDF
15	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
15	Irène Durand, Aart Middeldorp	On the Modularity of Deciding Call-by-Need.	FoSSaCS	2001	DBLP DOI BibTeX RDF
15	Prashant J. Shenoy, Harrick M. Vin	Failure Recovery Algorithms for Multimedia Servers.	Multim. Syst.	2000	DBLP DOI BibTeX RDF	Redundant disk arrays, Video compression algorithms, Fault tolerance, RAID, Multimedia storage servers
15	Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer	Gamma and the Chemical Reaction Model: Fifteen Years After.	WMP	2000	DBLP DOI BibTeX RDF
15	Takashi Nagaya, Yoshihito Toyama	Decidability for Left-Linaer Growing Term Rewriting Systems.	RTA	1999	DBLP DOI BibTeX RDF
15	Jan Willem Klop	Origin Tracking in Term Rewriting (Abstract).	RTA	1998	DBLP DOI BibTeX RDF
15	Alina N. Moga, Moncef Gabbouj	Parallel Image Component Labeling With Watershed Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	image segmentation, parallel computing, efficient algorithms, connected components, Watersheds
15	Yuxi Fu	The x-Calculus.	APDC	1997	DBLP DOI BibTeX RDF	bisimulation, pi-calculus
15	Nasser Kalantery	Tentative Time Wrap.	Euro-Par	1997	DBLP DOI BibTeX RDF
15	Irène Durand, Aart Middeldorp	Decidable Call by Need Computations in term Rewriting (Extended Abstract).	CADE	1997	DBLP DOI BibTeX RDF
15	Bruce L. Worthington, Gregory R. Ganger, Yale N. Patt	Scheduling Algorithms for Modern Disk Drives.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
15	Jean-Marc Delosme	Bit-level systolic algorithms for real symmetric and Hermitian eigenvalue problems.	J. VLSI Signal Process.	1992	DBLP DOI BibTeX RDF
15	Mireille Ducassé	A General Trace Query Mechanism Based on Prolog.	PLILP	1992	DBLP DOI BibTeX RDF
15	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
15	Delia Kesner	Pattern Matching in Order-Sorted Languages.	MFCS	1991	DBLP DOI BibTeX RDF
15	R. C. Sekar 0001, Shaunak Pawagi, I. V. Ramakrishnan	Small Domains Spell Fast Strictness Analysis.	POPL	1990	DBLP DOI BibTeX RDF
15	Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka	Logic Design Assistence Using Temporal Logic Based Language Tokio.	LP	1989	DBLP DOI BibTeX RDF
15	Wolfgang Reisig	Towards a temporal logic of causality and choice in distributed systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	Concurrent System Properties, Petri Nets, Temporal Logic
15	Jayadev Misra	Distributed Discrete-Event Simulation.	ACM Comput. Surv.	1986	DBLP DOI BibTeX RDF
15	A. Inkeri Verkamo	Empirical Results on Locality in Database Referencing.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
15	Wolfgang Effelsberg, Mary E. S. Loomis	Logical, Internal, and Physical Reference Behavior in CODASYL Database Systems.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
15	Paula B. Hawthorn, Michael Stonebraker	Performance Analysis of a Relational Data Base Management System.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF