Search results for "sequential"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Rudolf Freund	P Systems Working in the Sequential Mode on Arrays and Strings.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
16	Chao Tian 0002, Sheila S. Hemami	Sequential Design of Multiple Description Scalar Quantizers.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
16	Shaz Qadeer, Dinghao Wu	KISS: keep it simple and sequential.	PLDI	2004	DBLP DOI BibTeX RDF	assertion checking, concurrent software, model checking, program analysis, race detection
16	Ying Chen, Karthik Ranganathan, Vasudev V. Pai, David J. Lilja, Kia Bazargan	Enhancing the Memory Performance of Embedded Systems with the Flexible Sequential and Random Access Memory.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
16	Aaron P. Hurst, Philip Chong, Andreas Kuehlmann	Physical placement driven by sequential timing analysis.	ICCAD	2004	DBLP DOI BibTeX RDF
16	Marcel Fernandez, Miguel Soriano	Identification Algorithms for Sequential Traitor Tracing.	INDOCRYPT	2004	DBLP DOI BibTeX RDF
16	Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire	Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns.	TIME	2004	DBLP DOI BibTeX RDF
16	Shijie Song, Zunguo Huang, Huaping Hu, Shiyao Jin	A Sequential Pattern Mining Algorithm for Misuse Intrusion Detection.	GCC Workshops	2004	DBLP DOI BibTeX RDF
16	Shuai Ma 0001, Shiwei Tang, Dongqing Yang, Tengjiao Wang 0003, Jinqiang Han	Combining Clustering with Moving Sequential Pattern Mining: A Novel and Efficient Technique.	PAKDD	2004	DBLP DOI BibTeX RDF
16	Rajat Arora, Michael S. Hsiao	Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.	VLSI Design	2004	DBLP DOI BibTeX RDF
16	Ning Li, Yang Gao 0001, Guifeng Tang, Shifu Chen	Mining Web Sequential Patterns Using Reinforcement Learning.	APWeb	2004	DBLP DOI BibTeX RDF
16	Rudolf Freund	Asynchronous P Systems and P Systems Working in the Sequential Mode.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
16	Luciano Lamberti, Carmine Pappalettere	A numerical code for lay-out optimization of skeletal structures with sequential linear programming.	Eng. Comput.	2003	DBLP DOI BibTeX RDF	Linearization error, Move limits, Optimal lay-out, Trust region Parameter, Optimization techniques
16	Anne Condon, Alan J. Hu	Automatable Verification of Sequential Consistency.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
16	Jifeng He 0001, Qiwen Xu	Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Verification, Semantics, Hybrid systems, Duration Calculus
16	Carsten Dachsbacher, Christian Vogelgsang, Marc Stamminger	Sequential point trees.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	hardware accelerated graphics, level of detail, point rendering
16	Ana T. Freitas, Arlindo L. Oliveira	Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation.	DATE	2003	DBLP DOI BibTeX RDF
16	Tsuyoshi Iwagaki, Satoshi Ohtake, Hideo Fujiwara	Reducibility of Sequential Test Generation to Combinational Test Generation for Several Delay Fault Models.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
16	Yin-Fu Huang, Shao-Yuan Lin	Mining Sequential Patterns Using Graph Search Techniques.	COMPSAC	2003	DBLP DOI BibTeX RDF
16	Wei-Yu Chen, Arvind Krishnamurthy, Katherine A. Yelick	Polynomial-Time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays.	LCPC	2003	DBLP DOI BibTeX RDF
16	Michel Raynal	Token-Based Sequential Consistency in Asynchronous Distributed Systems.	AINA	2003	DBLP DOI BibTeX RDF
16	Qingwei Wu, Michael S. Hsiao	Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal.	ITC	2003	DBLP DOI BibTeX RDF
16	Qingguo Zheng, Ke Xu 0001, Shilong Ma	When to Update the Sequential Patterns of Stream Data?	PAKDD	2003	DBLP DOI BibTeX RDF
16	Ching-Yao Wang, Tzung-Pei Hong, Shian-Shyong Tseng	Maintenance of Sequential Patterns for Record Modification Using Pre-large Sequences.	ICDM	2002	DBLP DOI BibTeX RDF
16	Masakazu Seno, George Karypis	SLPMiner: An Algorithm for Finding Frequent Sequential Patterns Using Length-Decreasing Support Constraint.	ICDM	2002	DBLP DOI BibTeX RDF
16	Sherri K. Harms, Jitender S. Deogun, Tsegaye Tadesse	Discovering Sequential Association Rules with Constraints and Time Lags in Multiple Sequences.	ISMIS	2002	DBLP DOI BibTeX RDF
16	Cláudia Antunes, Arlindo L. Oliveira	Inference of Sequential Association Rules Guided by Context-Free Grammars.	ICGI	2002	DBLP DOI BibTeX RDF
16	Ming-Yen Lin, Suh-Yin Lee	Fast Discovery of Sequential Patterns by Memory Indexing.	DaWaK	2002	DBLP DOI BibTeX RDF
16	Michel Raynal	Sequential Consistency as Lazy Linearizability.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
16	Meine van der Meulen	Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.	FMCAD	2002	DBLP DOI BibTeX RDF
16	Ming-Yen Lin, Suh-Yin Lee, Sheng-Shun Wang	DELISP: Efficient Discovery of Generalized Sequential Patterns by Delimited Pattern-Growth Technology.	PAKDD	2002	DBLP DOI BibTeX RDF
16	Pei-Hsin Wu, Wen-Chih Peng, Ming-Syan Chen	Mining Sequential Alarm Patterns in a Telecommunication Database.	Databases in Telecommunications	2001	DBLP DOI BibTeX RDF
16	Petr Sosík, Rudolf Freund	String Rewriting Sequential P-Systems and Regulated Rewriting.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
16	Darren Reed	'Making Conversation': Sequential Integrity and the Local Management of Interaction on Internet Newsgroups.	HICSS	2001	DBLP DOI BibTeX RDF
16	Hagen Völzer	Randomized Non-sequential Processes.	CONCUR	2001	DBLP DOI BibTeX RDF
16	Mihalis Psarakis, Antonis M. Paschalis, Nektarios Kranitis, Dimitris Gizopoulos, Yervant Zorian	Robust and Low-Cost BIST Architectures for Sequential Fault Testing in Datapath Multipliers.	VTS	2001	DBLP DOI BibTeX RDF
16	Marek Wojciechowski 0001	Interactive Constraint-Based Sequential Pattern Mining.	ADBIS	2001	DBLP DOI BibTeX RDF
16	Igor Terekhov, Victoria White	Distributed Data Access in the Sequential Access Model in the D0 Experiment at Fermilab.	HPDC	2000	DBLP DOI BibTeX RDF
16	Andrew J. Davison, Nobuyuki Kita	Sequential Localisation and Map-Building in Computer Vision and Robotics.	SMILE	2000	DBLP DOI BibTeX RDF
16	Stanley J. Reeves, Zhao Zhe	Sequential algorithms for observation selection.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
16	María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal	Specialization of Inductively Sequential Functional Logic Programs.	ICFP	1999	DBLP DOI BibTeX RDF
16	Jason Cong, Chang Wu	FPGA Synthesis with Retiming and Pipelining for Clock Period Minimization of Sequential Circuits.	DAC	1997	DBLP DOI BibTeX RDF
16	Li-Pen Yuan, Chin-Chi Teng, Sung-Mo Kang	Statistical Estimation of Average Power Dissipation in Sequential Circuits.	DAC	1997	DBLP DOI BibTeX RDF
16	Chen-Pin Kung, Chen-Shang Lin	Parallel sequence fault simulation for synchronous sequential circuits.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	parallel sequence simulation, fault simulation, logic simulation
16	Jaehong Park, M. Ray Mercer	Using Functional Information and Strategy Switching in Sequential ATPG.	ICCD	1996	DBLP DOI BibTeX RDF
16	Timothy John Lambert, Kewal K. Saluja	Methods for Dynamic Test Vector compaction in Sequential Test Generation.	VLSI Design	1996	DBLP DOI BibTeX RDF
16	Vishwani D. Agrawal, Srimat T. Chakradhar	Combinational ATPG theorems for identifying untestable faults in sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
16	Pranav Ashar, Sujit Dey, Sharad Malik	Exploiting multicycle false paths in the performance optimization of sequential logic circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
16	Jon G. Riecke, Ramesh Viswanathan	Isolating Side Effects in Sequential Languages.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
16	Remzi H. Arpaci, Andrea C. Dusseau, Amin Vahdat, Lok T. Liu, Thomas E. Anderson, David A. Patterson 0001	The Interaction of Parallel and Sequential Workloads on a Network of Workstations.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
16	Sergio Antoy, Aart Middeldorp	A Sequential Reduction Strategy.	ALP	1994	DBLP DOI BibTeX RDF
16	Mazhar Alidina, José Monteiro 0001, Srinivas Devadas, Abhijit Ghosh, Marios C. Papaefthymiou	Precomputation-based sequential logic optimization for low power.	ICCAD	1994	DBLP DOI BibTeX RDF
16	Kwang-Ting Cheng	Transition fault testing for sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
16	Stephen D. Brookes, Shai Geva	Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.	MFPS	1993	DBLP DOI BibTeX RDF
16	Carl Pixley	A theory and implementation of sequential hardware equivalence.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
16	Neri Merhav, Meir Feder	Universal Sequential Learning and Decision from Individual Data Sequences.	COLT	1992	DBLP DOI BibTeX RDF
16	Premachandran R. Menon, Ytzhak H. Levendel, Miron Abramovici	SCRIPT: a critical path tracing algorithm for synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
16	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	Irredundant sequential machines via optimal logic synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
16	Hiroshi Imai, Kazuo Iwano	Efficient Sequential and Parallel Algorithms for Planar Minimum Cost Flow.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
16	Olivier Coudert, Christian Berthet, Jean Christophe Madre	Formal boolean manipulations for the verification of sequential machines.	EURO-DAC	1990	DBLP DOI BibTeX RDF
16	Abhijit Ghosh, Srinivas Devadas, A. Richard Newton	Sequential Test Generation at the Register-Transfer and Logic Levels.	DAC	1990	DBLP DOI BibTeX RDF
16	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	A synthesis and optimization procedure for fully and easily testable sequential machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
16	Sheau-Dong Lang, James R. Driscoll, Jiann H. Jou	A Unified Analysis of Batched Searching of Sequential and Tree-Structured Files.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
16	Ryszard Janicki, Tomasz Müldner	Complete Sequential Specification Allows for Concurrent Execution.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
16	Paul C. Attie, E. Allen Emerson	Synthesis of Concurrent Systems with Many Similar Sequential Processes.	POPL	1989	DBLP DOI BibTeX RDF
16	Kevin Smith 0002, William F. Appelbe	Interactive conversion of sequential to multitasking FORTRAN.	ICS	1989	DBLP DOI BibTeX RDF	FORTRAN
16	Prashant Palvia	Expressions for Batched Searching of Sequential and Hierarchical Files.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
16	Ya-Han Hu, Yen-Liang Chen, Er-Hsuan Lin	Classification of Time-Sequential Attributes by Using Sequential Pattern Rules.	FSKD (2)	2007	DBLP DOI BibTeX RDF
15	Di Ma, Gene Tsudik	A new approach to secure logging.	ACM Trans. Storage	2009	DBLP DOI BibTeX RDF	Secure logging, forward secure sequential aggregate (FssAgg) authentication, forward-secure stream integrity, MACs, signatures, truncation attack
15	Yanchang Zhao, Huaifeng Zhang, Shanshan Wu, Jian Pei, Longbing Cao, Chengqi Zhang, Hans Bohlscheid	Debt Detection in Social Security by Sequence Classification Using Both Positive and Negative Patterns.	ECML/PKDD (2)	2009	DBLP DOI BibTeX RDF	negative sequential patterns, sequence classification
15	Nizar R. Mabroukeh, Christie I. Ezeife	Using domain ontology for semantic web usage mining and next page prediction.	CIKM	2009	DBLP DOI BibTeX RDF	semantic web, association rules, markov model, web usage mining, domain ontology, semantic relatedness, sequential pattern mining
15	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
15	Chien-Ju Ho, Kuan-Ta Chen	On formal models for social verification.	KDD Workshop on Human Computation	2009	DBLP DOI BibTeX RDF	Amazon Mechanical Turk, sequential verification, simultaneous verification, game theory, human computation, games with a purpose
15	Hoeteck Wee	Zero Knowledge in the Random Oracle Model, Revisited.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	sequential composition, zero-knowledge, obfuscation, random oracle model
15	Shihao Ji, Ke Zhou 0002, Ciya Liao, Zhaohui Zheng, Gui-Rong Xue, Olivier Chapelle, Gordon Sun, Hongyuan Zha	Global ranking by exploiting user clicks.	SIGIR	2009	DBLP DOI BibTeX RDF	sequential supervised learning, user clicks, learning to rank, conditional random field, experimental evaluation, implicit relevance feedback
15	Teng Long, Shaojie Qiao, Changjie Tang, Liangxu Liu, Taiyong Li, Jiang Wu	E3TP: A Novel Trajectory Prediction Algorithm in Moving Objects Databases.	PAISI	2009	DBLP DOI BibTeX RDF	criminal tracking analysis, hotspot regions, frequent sequential routes, moving objects databases, trajectory prediction
15	Meng Hu, Jiong Yang, Wei Su	Permu-pattern: discovery of mutable permutation patterns with proximity constraint.	KDD	2008	DBLP DOI BibTeX RDF	permutation pattern, proximity pattern, sequential pattern
15	Nini Wang, Xiaodong Liu 0001, Jianchuan Yin	An On-Line Learning Radial Basis Function Network and Its Application.	ISNN (1)	2008	DBLP DOI BibTeX RDF	sequential learning, predictive capability, ship control, Radial basis function network
15	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
15	Tomohiro Amemiya, Taro Maeda	NOBUNAGA: Multicylinder-Like Pulse Generator for Kinesthetic Illusion of Being Pulled Smoothly.	EuroHaptics	2008	DBLP DOI BibTeX RDF	continuous force sensation, nongrounding, sequential pulse, illusion
15	Xiaonan Ji, James Bailey 0001, Guozhu Dong	Mining minimal distinguishing subsequence patterns with gap constraints.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Gap constraint, Contrast pattern, Sequential pattern, Frequent pattern, Emerging pattern, Data mining algorithm
15	Marc Plantevit, Sabine Goutier, Françoise Guisnel, Anne Laurent, Maguelonne Teisseire	Mining unexpected multidimensional rules.	DOLAP	2007	DBLP DOI BibTeX RDF	multidimensional framework, unexpected patterns, sequential patterns
15	Chuan Lin 0002, Hai Zhou 0001	Clock Skew Scheduling with Delay Padding for Prescribed Skew Domains.	ASP-DAC	2007	DBLP DOI BibTeX RDF	delay padding, prescribed skew domains, optimal skew scheduling algorithm, domain assignment, sequential circuit, flip-flops, memory elements, clock period, clock skew scheduling
15	Zhendong Zhao, Lei Yuan, Yuxuan Wang, Forrest Sheng Bao, Shun-Yi Zhang, Yan-Fei Sun	A Novel Model of Working Set Selection for SMO Decomposition Methods.	ICTAI (2)	2007	DBLP DOI BibTeX RDF	decomposition meth- ods, working set selection, support vector machines, sequential minimal optimization
15	Shaheen Fatima	Bidding Strategies for Multi-object Auctions.	Negotiation, Auctions, and Market Engineering	2006	DBLP DOI BibTeX RDF	Sequential auctions, Bidding strategies, Simultaneous auctions
15	Jingmin Wang, Kanzhang Wu	Study of the SMO Algorithm Applied in Power System Load Forecasting.	PRICAI	2006	DBLP DOI BibTeX RDF	kennel function, Support vector machine, load forecasting, Sequential minimal optimization
15	Myung-Won Kim, Joung Woo Ryu, Eun Ju Kim	Speech Recognition with Multi-modal Features Based on Neural Networks.	ICONIP (2)	2006	DBLP DOI BibTeX RDF	neural network, speech recognition, sequential pattern, post-processing, contextual information
15	Noureddine Chabini, El Mostapha Aboulhamid, Ismaïl Chabini, Yvon Savaria	Scheduling and optimal register placement for synchronous circuits derived using software pipelining techniques.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	multiphase, sequential circuit, software pipelining, clock, Retiming
15	Abdulrahman Alharby, Hideki Imai	IDS False Alarm Reduction Using Continuous and Discontinuous Patterns.	ACNS	2005	DBLP DOI BibTeX RDF	alarm reduction, Intrusion detection, sequential patterns
15	Huafei Zhu, Feng Bao 0001, Tieyan Li	Compact Stimulation Mechanism for Routing Discovery Protocols in Civilian Ad-Hoc Networks.	Communications and Multimedia Security	2005	DBLP DOI BibTeX RDF	Routing discovery protocol, Sequential aggregate signature, Network security
15	Predrag T. Tosic, Gul A. Agha	On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata.	UC	2005	DBLP DOI BibTeX RDF	Cellular and graph automata, sequential and synchronous dynamical systems, configuration space properties, #P-completeness, computational complexity
15	Jeong Hee Hwang, Keun Ho Ryu	A New XML Clustering for Structural Retrieval.	ER	2004	DBLP DOI BibTeX RDF	Document Clustering, Sequential Pattern, XML Document, Structural Similarity, Structural Retrieval
15	Kwong H. Yung	Using Feedback to Improve Masquerade Detection.	ACNS	2003	DBLP DOI BibTeX RDF	feedback-on-alarm, feedback policy, sequential classifier, online classifier, adaptive classifier, masquerading session, masquerading user, intrusion detection, naive-Bayes classifier, masquerade detection
15	Sule Gündüz, M. Tamer Özsu	A Web page prediction model based on click-stream tree representation of user behavior.	KDD	2003	DBLP DOI BibTeX RDF	graph based clustering, two dimensional sequential model, Web usage mining
15	Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal	State and Fault Information for Compaction-Based Test Generation.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	sequential circuits, ATPG, test compaction
15	Bowo Prasetyo, Iko Pramudiono, Katsumi Takahashi, Masaru Kitsuregawa	Naviz : Website Navigational Behavior Visualizer.	PAKDD	2002	DBLP DOI BibTeX RDF	navigational behavior visualization, web traversal property, class-instance view, mobile internet user, sequential pattern mining
15	Hak-soo Yu, Jacob A. Abraham	An Efficient 3-Bit -Scan Multiplier without Overlapping Bits, and Its 64x64 Bit Implementation.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	3-bit-scan, power-delay-area tradeoffs, synchronous sequential, multiplier, partial product
15	Mingchun Liu, Chunru Wan	Feature selection for automatic classification of musical instrument sounds.	JCDL	2001	DBLP DOI BibTeX RDF	sequential forward feature selection, classification, feature extraction, musical instrument
15	Debaleena Das, Nur A. Touba	Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	Bose-Lin codes, sequential circuits, logic synthesis, concurrent error detection, self-checking circuits
15	Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev	Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis.	ASYNC	1997	DBLP DOI BibTeX RDF	combinational decomposition, sequential decomposition, monotonous cover, signal insertion, factorization, hazards, resynthesis, Speed-independent circuit