Search results for "sequential"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Tiu Le Van, Noël van Houtte	Delayed Universal Logic Modules and Sequential Machine Synthesis.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Accepted sequence, component machine, delayed universal logic module, distributed logic, inverse binary tree, nondeterministic automaton, reversed machine, simple synthesis, transition map, 2n-in-1 multiplexer, universal logic module, decomposition, sequential machine
15	George H. Williams	Uniform Decomposition of Incompletely Specified Sequential Machines.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	incompletely specified, uniform decomposition, sequential machines, Covering problem
13	Jidong Zhai, Wenguang Chen, Weimin Zheng	PHANTOM: predicting performance of parallel applications on large-scale parallel machines using a single node.	PPoPP	2010	DBLP DOI BibTeX RDF	performance prediction, trace-driven simulation, parallel application, deterministic replay
13	Wen-Hao Liu, Wei-Chun Kao, Yih-Lang Li, Kai-Yuan Chao	Multi-threaded collision-aware global routing with bounded-length maze routing.	DAC	2010	DBLP DOI BibTeX RDF	multi-threaded, global routing, maze routing
13	Chen-Hsuan Lin, Chun-Yao Wang	Dependent latch identification in the reachable state space.	ASP-DAC	2009	DBLP DOI BibTeX RDF
13	Seng Lin Shee, Andrea Erdos, Sri Parameswaran	Architectural Exploration of Heterogeneous Multiprocessor Systems for JPEG.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	design, architecture, multiprocessor, SoC, pipelines, ASIPs, heterogeneous system
13	Guy E. Blelloch, Rezaul Alam Chowdhury, Phillip B. Gibbons, Vijaya Ramachandran, Shimin Chen, Michael Kozuch	Provably good multicore cache performance for divide-and-conquer algorithms.	SODA	2008	DBLP BibTeX RDF
13	Sinan Sinanovic, Nikola Serafimovski, Harald Haas, Gunther Auer	Optimum Spectral Efficiency of Horizontally Spectrum Sharing 2-Link System.	VTC Spring	2008	DBLP DOI BibTeX RDF
13	James Demmel, Mark Hoemmen, Marghoob Mohiyuddin, Katherine A. Yelick	Avoiding communication in sparse matrix computations.	IPDPS	2008	DBLP DOI BibTeX RDF
13	Ilia Rapoport, Yaakov Oshman	Weiss-Weinstein Lower Bounds for Markovian Systems. Part 1: Theory.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
13	Jean-Hugues Pruvot, Luc Brun	Hierarchy Construction Schemes Within the Scale Set Framework.	GbRPR	2007	DBLP DOI BibTeX RDF
13	Purushotham V. Bangalore	Generating parallel applications for distributed memory systems using aspects, components, and patterns.	ACP4IS	2007	DBLP DOI BibTeX RDF	parallel programming, aspect oriented programming, patterns
13	Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld	Security of Multithreaded Programs by Compilation.	ESORICS	2007	DBLP DOI BibTeX RDF
13	Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili	Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification.	FMCAD	2007	DBLP DOI BibTeX RDF
13	Benjamin Ylvisaker, Brian Van Essen, Carl Ebeling	A type architecture for hybrid micro-parallel computers.	FPGA	2006	DBLP DOI BibTeX RDF
13	Scott Schneider 0001, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	Scalable locality-conscious multithreaded memory allocation.	ISMM	2006	DBLP DOI BibTeX RDF	synchronization-free, shared memory, multithreading, memory management, non-blocking
13	Enrique Romero, Daniel Toppo	Comparing Support Vector Machines and Feed-forward Neural Networks with Similar Parameters.	IDEAL	2006	DBLP DOI BibTeX RDF
13	Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt	Concurrent aspects.	GPCE	2006	DBLP DOI BibTeX RDF	Java, concurrency, formal verification, aspect-oriented programming, implementation
13	Shweta Chary, Michael L. Bushnell	Automatic Path-Delay Fault Test Generation for Combined Resistive Vias, Resistive Bridges, and Capacitive Crosstalk Delay Faults.	VLSI Design	2006	DBLP DOI BibTeX RDF
13	Amélie Marian, Nicolas Bruno, Luis Gravano	Evaluating top-k queries over web-accessible databases.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	query optimization, web databases, Parallel query processing, top-k query processing
13	Laurent Baduel, Françoise Baude, Denis Caromel, Christian Delbé, Nicolas Gama, Said El Kasmi, Stéphane Lanteri	A Parallel Object-Oriented Application for 3D Electromagnetism.	IPDPS	2004	DBLP DOI BibTeX RDF	object-oriented and distributed computing, Java, numerical simulation, active object
13	Hailing Yu, Divyakant Agrawal, Amr El Abbadi	Declustering Two-Dimensional Datasets over MEMS-Based Storage.	EDBT	2004	DBLP DOI BibTeX RDF
13	Rosa M. Badia, Jesús Labarta, Raül Sirvent, Josep M. Pérez, José M. Cela, Rogeli Grima	Programming Grid Applications with GRID Superscalar.	J. Grid Comput.	2003	DBLP DOI BibTeX RDF	Grid programming models, Grid middleware
13	Jen-Tzung Chien, Chih-Hsien Huang	Bayesian learning of speech duration models.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
13	Zhi-Zhong Chen, Tao Jiang 0001, Guo-Hui Lin, Jianjun Wen, Dong Xu 0002, Ying Xu 0001	Improved Approximation Algorithms for NMR Spectral Peak Assignment.	WABI	2002	DBLP DOI BibTeX RDF
13	Stan Z. Li, Long Zhu, ZhenQiu Zhang, Andrew Blake 0001, HongJiang Zhang, Harry Shum	Statistical Learning of Multi-view Face Detection.	ECCV (4)	2002	DBLP DOI BibTeX RDF
13	Péter Kacsuk	Can Parallel Programming Be Made Easy for Scientists?	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
13	Brian W. Unger, Zhonge Xiao, John G. Cleary, Jya-Jang Tsai, Carey L. Williamson	Parallel shared-memory simulator performance for large ATM networks.	ACM Trans. Model. Comput. Simul.	2000	DBLP DOI BibTeX RDF	ATM network modeling, time warp, parallel discrete event simulation, optimistic synchronization, conservative synchronization
13	David M. Koppelman	Neighborhood Prefetching on Multiprocessors Using Instruction History.	IEEE PACT	2000	DBLP DOI BibTeX RDF
13	Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca	Restructuring Irregular Computations for Distributed Systems Using Mobile Agents.	PARA	2000	DBLP DOI BibTeX RDF
13	Jian Pei, Runying Mao, Kan Hu, Hua Zhu	Towards Data Mining Benchmarking: A Testbed for Performance Study of Frequent Pattern Mining.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
13	Selim G. Akl, Stefan D. Bruda	Parallel Real-Time Numerical Computation: Beyond Speedup III.	ITCC	2000	DBLP DOI BibTeX RDF
13	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
13	Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary	Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation.	Workshop on Parallel and Distributed Simulation	1999	DBLP DOI BibTeX RDF	ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation
13	Henrik Thane, Hans Hansson	Towards Systematic Testing of Distributed Real-Time Systems.	RTSS	1999	DBLP DOI BibTeX RDF	scheduling, Testing, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, probe-effect
13	James K. Huggins, David Van Campenhout	Specification and verification of pipelining in the ARM2 RISC microprocessor.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	ARM processor, formal verification, pipelining, abstract state machines, design verification, pipelined processors
13	Raphaël Couturier, Dominique Méry	An Experiment in Parallelizing an Application Using Formal Methods.	CAV	1998	DBLP DOI BibTeX RDF
13	Jens Knoop	Parallel Constant Propagation.	Euro-Par	1998	DBLP DOI BibTeX RDF
13	Pedro Trancoso, Josep Lluís Larriba-Pey, Zheng Zhang 0001, Josep Torrellas	The Memory Performance of DSS Commercial Workloads in Shared-Memory Multiprocessors.	HPCA	1997	DBLP DOI BibTeX RDF
13	Stephan Olariu, Albert Y. Zomaya	A Time- and Cost-Optimal Algorithm for Interlocking Sets-With Applications.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	time-optimal algorithms, routing, parallel algorithms, VLSI, lower bounds, CAD, Circuit design
13	Guy E. Blelloch, John Greiner	A Provable Time and Space Efficient Implementation of NESL.	ICFP	1996	DBLP DOI BibTeX RDF
13	Chun Xia, Josep Torrellas	Instruction Prefetching of Systems Codes with Layout Optimized for Reduced Cache Misses.	ISCA	1996	DBLP DOI BibTeX RDF
13	Luc Moreau 0001	Non-Speculative and Upward Invocation of Continuations in a Parallel Language.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	Reduce-OR process model, Encore Multimax, Sequent Symmetry, NCUBE 2, Intel i860 hypercube, Chare kernel, scale linearly, performance, parallel programming, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, program compilers, parallel execution, Sun workstations
13	Duane Szafron, Jonathan Schaeffer, Paul Iglinski, Ian Parsons, Ronald Kornelsen, Chris Morrow	Enterprise: current status and future directions.	CASCON	1994	DBLP BibTeX RDF
13	C. L. McCreary, D. H. Gill	Automatic partitioning and virtual scheduling for efficient parallel execution.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
13	Yi-Bing Lin, Bruno R. Preiss	Optimal Memory Management for Time Warp Parallel Simulation.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	artificial rollback, discrete event simulation, parallel simulation, Time Warp
13	Hristo N. Djidjev, Grammati E. Pantziou, Christos D. Zaroliagis	Computing Shortest Paths and Distances in Planar Graphs.	ICALP	1991	DBLP DOI BibTeX RDF
13	Anestis A. Toptsis	Parallel Transitive Closure Computation in Highly Scalable Multiprocessors.	ICCI	1991	DBLP DOI BibTeX RDF
13	Pierre Roussel-Ragot, Nadia Kouicem, Gérard Dreyfus	Error-Free Parallel Implementation of Simulated Annealing.	PPSN	1990	DBLP DOI BibTeX RDF
13	Vivek Sarkar, David C. Cann	POSC - a partitioning and optimizing SISAL compiler.	ICS	1990	DBLP DOI BibTeX RDF	SISAL
13	Ebba Thora Hvannberg, Mukkai S. Krishnamoorthy	An object-based parallel programming assistant.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
13	Ralph-Johan Back, Reino Kurki-Suonio	Distributed Cooperation with Action Systems.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
13	Antoni W. Mazurkiewicz	Basic notions of trace theory.	REX Workshop	1988	DBLP DOI BibTeX RDF	Petri nets, concurrency, processes, traces, partial ordering
13	P. Bruce Berra	Associative Processing in Data Base Management.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF
13	Alfred A. Schmitt	Zur Theorie der nichtdeterministischen und unvollständigen Automaten.	Computing	1969	DBLP DOI BibTeX RDF
13	Anne Auger, Dimo Brockhoff, Nikolaus Hansen	Benchmarking the (1, 4)-CMA-ES with mirrored sampling and sequential selection on the noiseless BBOB-2010 testbed.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	benchmarking, black-box optimization
13	Anne Auger, Dimo Brockhoff, Nikolaus Hansen	Benchmarking the (1, 4)-CMA-ES with mirrored sampling and sequential selection on the noisy BBOB-2010 testbed.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	benchmarking, black-box optimization
13	Gabriel Ciobanu, Sergiu Rudeanu	Final and sequential behaviours of M-automata.	Acta Informatica	2009	DBLP DOI BibTeX RDF
13	Pramod Kumar Meher	Extended Sequential Logic for Synchronous Circuit Optimization and Its Applications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
13	Marco Guerriero, Stefano Maranò 0001, Vincenzo Matta, Peter Willett 0001	Stochastic Resonance in Sequential Detectors.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
13	Javier Civera 0001, Andrew J. Davison, Juan A. Magallon, J. M. M. Montiel	Drift-Free Real-Time Sequential Mosaicing.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Real-time mosaicing, SLAM, Video mosaicing
13	Krzysztof R. Apt, Arantza Estévez-Fernández	Sequential Pivotal Mechanisms for Public Project Problems.	SAGT	2009	DBLP DOI BibTeX RDF
13	Robert Gwadera, Fabio Crestani	Mining and ranking streams of news stories using cross-stream sequential patterns.	CIKM	2009	DBLP DOI BibTeX RDF	news streams, text mining
13	Erich Allen Peterson, Peiyi Tang	A hybrid approach to mining frequent sequential patterns.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	pattern growth, frequent patterns, apriori, projection database
13	Péter Kardos, Gábor Németh, Kálmán Palágyi	An Order-Independent Sequential Thinning Algorithm.	IWCIA	2009	DBLP DOI BibTeX RDF	order-independent thinning, skeleton, shape representation, thinning, topology preservation
13	Kiyhoshi Nosu, Tomoya Kurokawa, Hiroto Horita, Yoshitarou Ohhazama, Hiroki Takeda	Voice Feed-Backing for Video Game Players by Real-Time Sequential Emotion Estimation from Facial Expression.	IVA	2009	DBLP DOI BibTeX RDF	real-time estimation, emotion, video game, face
13	Richard C. Millham, Hongji Yang	Industrial Report: Data Reengineering of COBOL Sequential Legacy Systems.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
13	Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke	Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	automatic parallelization, software transactional memory, thread-level speculation, profile-guided optimization, loop level parallelism
13	Marc Plantevit, Bruno Crémilleux	Condensed Representation of Sequential Patterns According to Frequency-Based Measures.	IDA	2009	DBLP DOI BibTeX RDF
13	Ming-Yen Lin, Sue-Chen Hsueh, Chih-Chen Chan	Incremental Discovery of Sequential Patterns Using a Backward Mining Approach.	CSE (1)	2009	DBLP DOI BibTeX RDF
13	Hai Zhou 0001	Retiming and resynthesis with sweep are complete for sequential transformation.	FMCAD	2009	DBLP DOI BibTeX RDF
13	Danny Dig, John Marrero, Michael D. Ernst	Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries.	ICSE Companion	2009	DBLP DOI BibTeX RDF
13	Danny Dig, John Marrero, Michael D. Ernst	Refactoring sequential Java code for concurrency via concurrent libraries.	ICSE	2009	DBLP DOI BibTeX RDF
13	Daigo Muramatsu, Kumiko Yasuda, Satoshi Shirato, Takashi Matsumoto 0001	Camera-Based Online Signature Verification with Sequential Marginal Likelihood Change Detector.	CAIP	2009	DBLP DOI BibTeX RDF
13	Joseph K. Liu, Joonsang Baek, Jianying Zhou 0001	Certificate-based sequential aggregate signature.	WISEC	2009	DBLP DOI BibTeX RDF	cryptography, digital signature
13	Zheng Su, Jiaqiao Hu, Wei Zhu	Multi-step variance minimization in sequential tests.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Type I error, Type II error, Monte Carlo, Importance sampling
13	Liyuan Li, Weimin Huang 0002, Irene Y. H. Gu, Ruijiang Luo, Qi Tian 0002	An Efficient Sequential Approach to Tracking Multiple Objects Through Crowds for Real-Time Intelligent CCTV Systems.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
13	Yun Lei, Xiaoqing Ding, Shengjin Wang	Visual Tracker Using Sequential Bayesian Learning: Discriminative, Generative, and Hybrid.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
13	Jun Seomun, Jae-Hyun Kim, Youngsoo Shin	Skewed Flip-Flop and Mixed-Vt Gates for Minimizing Leakage in Sequential Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
13	Irith Pomeranz, Sudhakar M. Reddy	Primary Input Vectors to Avoid in Random Test Sequences for Synchronous Sequential Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
13	Weixin Wu, Michael S. Hsiao	Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
13	XuanLong Nguyen, Martin J. Wainwright, Michael I. Jordan	On Optimal Quantization Rules for Some Problems in Sequential Decentralized Detection.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
13	Florentina Bunea, Andrew B. Nobel	Sequential Procedures for Aggregating Arbitrary Estimators of a Conditional Mean.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
13	M. N. M. van Lieshout	Depth Map Calculation for a Variable Number of Moving Objects using Markov Sequential Object Processes.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Motion, Vision and Scene Understanding
13	Ofir Pele, Michael Werman	Robust Real-Time Pattern Matching Using Bayesian Sequential Hypothesis Testing.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
13	Bohyung Han, Dorin Comaniciu, Ying Zhu 0006, Larry S. Davis	Sequential Kernel Density Approximation and Its Application to Real-Time Visual Tracking.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Computer vision, Computer vision, Tracking, Statistical, Statistical
13	Martin Hurtado, Tong Zhao, Arye Nehorai	Adaptive Polarized Waveform Design for Target Tracking Based on Sequential Bayesian Inference.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
13	Ning Jin, Derong Liu 0001	Wavelet Basis Function Neural Networks for Sequential Learning.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
13	Matthieu Fradet, Patrick Pérez, Philippe Robert	Time-sequential extraction of motion layers.	ICIP	2008	DBLP DOI BibTeX RDF
13	Yeelin Shei, Yu T. Su	A sequential test based cooperative spectrum sensing scheme for cognitive radios.	PIMRC	2008	DBLP DOI BibTeX RDF
13	Leila Kaghazian, Dennis McLeod, Reza Sadri	Scalable complex pattern search in sequential data.	CIKM	2008	DBLP DOI BibTeX RDF	complex pattern search, sql-ts, time series, pattern search
13	Timothy H. Chung, Joel W. Burdick	Multi-agent probabilistic search in a sequential decision-theoretic framework.	ICRA	2008	DBLP DOI BibTeX RDF
13	Sanghamitra Roy, Yu Hen Hu, Charlie Chung-Ping Chen, Shih-Pin Hung, Tse-Yu Chiang, Jiuan-Guei Tseng	An optimal algorithm for sizing sequential circuits for industrial library based designs.	ASP-DAC	2008	DBLP DOI BibTeX RDF
13	Dmitry M. Malioutov, Sujay Sanghavi, Alan S. Willsky	Compressed sensing with sequential observations.	ICASSP	2008	DBLP DOI BibTeX RDF
13	Nikhil Kundargi, Ahmed H. Tewfik	Sequential pilot sensing of ATSC signals in IEEE 802.22 cognitive radio networks.	ICASSP	2008	DBLP DOI BibTeX RDF
13	José-Gerardo Rosiles, Surya Upadhyayula, Sergio D. Cabrera	Rotationally-blind texture classification using frame sequential approximation error curves.	ICASSP	2008	DBLP DOI BibTeX RDF
13	Shuchuan Lo, Chingching Lin, Yao-Chang Chuang	Using Support Vector Machine and Sequential Pattern Mining to Construct Financial Prediction Model.	APSCC	2008	DBLP DOI BibTeX RDF
13	Helmut Grabner, Jan Sochman, Horst Bischof, Jiri Matas	Training sequential on-line boosting classifier for visual tracking.	ICPR	2008	DBLP DOI BibTeX RDF
13	Lisa Di-Jorio, Sandra Bringay, Céline Fiot, Anne Laurent, Maguelonne Teisseire	Sequential Patterns for Maintaining Ontologies over Time.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF