Search results for "co-operation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
11	Joel L. Wolf, Daniel M. Dias, Philip S. Yu, John Turek	New Algorithms for Parallelizing Relational Database Joins in the Presence of Data Skew.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	relational database joins, common database operation, comparative performance, parallel algorithms, parallel algorithms, load balancing, parallel processing, parallel programming, resource allocation, relational databases, relational algebra, relational database systems, join algorithms, data skew, parallel environment
11	Eveline J. Bellegarda, Jerome R. Bellegarda, David Nahamoo, Krishna Nathan	A Fast Statistical Mixture Algorithm for On-Line Handwriting Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	fast statistical mixture algorithm, unconstrained handwriting, cursively written word fragments, discretely written characters, probabilistic framework, front-end processor, frame representation, Gaussian K-means clustering, 81-character alphabet, writer-dependent recognition, writer-independent recognition, frame-based processing, mixture output distributions, complexity, information theory, information theory, statistical analysis, handwriting recognition, statistical modeling, mixture modeling, feature spaces, feature vectors, elastic matching, online operation, online handwriting recognition
11	Manoj Franklin, Mark Smotherman	A fill-unit approach to multiple instruction issue.	MICRO	1994	DBLP DOI BibTeX RDF	multiple operation issue, instruction-level parallelism, VLIW, superscalar
11	Benjamin Arazi	Architectures for Exponentiation Over GF(2^n) Adopted for Smartcard Application.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	exponentiation circuits, smartcard-based circuitry, structure regularity, dynamic shift registers, cryptography, smart cards, digital arithmetic, public key, time-space tradeoff, linear operation
11	Hong Hao, Edward J. McCluskey	Analysis of Gate Oxide Shorts in CMOS Circuits.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	resistance dependence, voltage dependence, pattern dependence, logic gate operation, p-channel transistors, n-channel transistors, CMOS integrated circuits, integrated logic circuits, CMOS circuits, logic gates, defect models, temperature dependence, gate oxide shorts, semiconductor device models
11	B. Ramakrishna Rau	Dynamically scheduled VLIW processors.	MICRO	1993	DBLP DOI BibTeX RDF	multiple operation issue, scoreboarding, dynamic scheduling, out-of-order execution, VLIW processors
11	Haripriyan Hampapuram, Michael L. Fredman	Optimal Bi-Weighted Binary Trees and the Complexity of Maintaining Partial Sums	FOCS	1993	DBLP DOI BibTeX RDF	optimal bi-weighted binary trees, maintaining partial sums, complexity, data structure, lower bounds, upper bounds, weighting scheme, query operation
11	Veljko Potkonjak, Ante Krstulovic	Contribution to the kinematics and dynamics of redundant robots via distributed positioning.	J. Intell. Robotic Syst.	1992	DBLP DOI BibTeX RDF	dynamic capabilities, distributed positioning, Robots, redundance, kinematics, operation speed
11	Erich L. Kaltofen, Victor Y. Pan	Processor-Efficient Parallel Solution of Linear Systems II: The Positive Characteristic and Singular Cases (Extended Abstract)	FOCS	1992	DBLP DOI BibTeX RDF	processor count, parallel solution, poly-logarithmic time, singular systems, parallel timings, matrix rank problem, time complexity, linear systems, binary search, arithmetic operation
11	Parthasarathy P. Tirumalai, Jon T. Butler	Minimization Algorithms for Multiple-Valued Programmable Logic Arrays.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	minimisation algorithms, multiple-valued programmable logic arrays, sum-of products, MIN operation, random-symmetric functions, constrained implicant sets, charge-coupled device circuits, performance, CMOS, heuristic algorithms, many-valued logics, minimisation, CMOS integrated circuits, backtracking, logic arrays, tree search, multiple-valued functions, charge-coupled device
11	Mahdi Abdelguerfi, Arun K. Sood	Computational Complexity of Sorting and Joining Relations with Duplicates.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	duplicate values, attribute columns, distinct tuple values, multirelation, distinct elements, worst time complexity, binary comparisons, three-branch comparisons, natural join operation, computational complexity, computational complexity, relational databases, lower bounds, sorting, sorting, database theory, upper bounds, relations, joining, cardinality
11	Tim Sheard	Automatic Generation and Use of Abstract Structure Operators.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	automatic type directed operation generation, reflection, classes
11	Ketan Mulmuley	Randomized Multidimensional Search Trees: Lazy Balancing and Dynamic Shuffling (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	randomised multidimensional search trees, lazy balancing, dynamic shuffling, sorted lists, rotation operation, imaginary sequence, computational geometry
11	Mahadev Satyanarayanan, James J. Kistler, Puneet Kumar 0001, Maria E. Okasaki, Ellen H. Siegel, David C. Steere	Coda: A Highly Available File System for a Distributed Workstation Environment.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	highly available file system, distributed workstation environment, caching site, replication site, prototype, distributed processing, workstations, file organisation, disconnected operation, server replication, Unix workstations, Coda
11	Mostafa I. H. Abd-El-Barr, Zvonko G. Vranesic	Cost Reduction in the CCD Realization of MVMT Function.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	multivalue multithreshold functions, CCD realization, overflow circuit, truncated difference operation, metal line, charge replication, charge-coupled device circuits, many-valued logics, cost effectiveness
11	Reese B. Jones, Vicki H. Allan	Software pipelining: a comparison and improvement.	MICRO	1990	DBLP BibTeX RDF	recognition of parallelism, software pipelining, operation scheduling
11	Mingshien Wang, Michal Cutler, Stephen Y. H. Su	Reconfiguration of VLSI/WSI Mesh Array Processors with Two-Level Redundancy.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	distributed defects, VLSI/WSI mesh array processors, two-level redundancy, parallel rectangular, operation reliability, clustered defects, complexity, parallel processing, VLSI, fault tolerant computing, reconfiguration, processing elements, optimization technique, combinatorial analysis, manufacturing yield
11	Sally G. Smith	Incremental Computation of Squares and Sums of Squares.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	bit-sequential operation, symmetry properties, incremental multipliers, hardware modules, digit-on-line algorithm, magnitude extraction operations, plane vectors, digital arithmetic, scalar multiplication, hardware architectures, incremental algorithm, sums of squares
11	Shun Yan Cheung, Mustaque Ahamad, Mostafa H. Ammar	Optimizing Vote and Quorum Assignments for Reading and Writing Replicated Data.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	vote optimizing, quorum assignments, writing replicated data, weighted voting protocol, node availabilities, operation mix, distributed system, protocols, fault tolerant computing, distributed processing, reading, optimal performance, enumeration algorithm
11	Andreas Hörmann 0001, Th. Hugel, Wolfgang Meier	A concept for an intelligent and fault-tolerant robot system.	J. Intell. Robotic Syst.	1988	DBLP DOI BibTeX RDF	automatic error recovery, distributed multi-processor system, elementary operation, sensor guided motion, control system, Autonomous mobile robot
11	Yishay Mansour, Baruch Schieber, Prasoon Tiwari	Lower Bounds for Integer Greatest Common Divisor Computations (Extended Summary)	FOCS	1988	DBLP DOI BibTeX RDF	integer greatest common divisor computations, computation tree, truncation operation, lower bound, algebraic computation trees
11	Dina Bitton, Haran Boral, David J. DeWitt, W. Kevin Wilkinson	Parallel Algorithms for the Execution of Relational Database Operations.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	parallel processing, sorting, database machines, aggregate operations, projection operator, join operation
11	Wesley W. Chu, Paul Hurley	Optimal Query Processing for Distributed Database Systems.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	local operation group, optimal query processing, query operating cost, query processing graph, relational database, Distributed database, relational algebra, query tree
11	Lee A. Hollaar	Direct Implementation of Asynchronous Control Units.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	direct mapping algorithms, nonfundamental mode operation, signaling protocols, Asynchronous control
11	Anthony P. Reeves	A Systematically Designed Binary Array Processor.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	near-neighborhood operation, image processing, parallel processing, computer architecture, Binary images
11	Werner E. Kluge	Data File Management in Shift Register Memories.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	LIFO/FIFO operation modes, management of sequentially organized files, record retrieval, updating, insertion, data transformations, deletion, relocation, shift-register memories
11	Saul Stimler	Some criteria for time-sharing system performance.	Commun. ACM	1969	DBLP DOI BibTeX RDF	time-sharing performance analysis, time-sharing performance criteria, time-sharing system operation
11	Robert M. Graham	Protection in an information processing utility.	Commun. ACM	1968	DBLP DOI BibTeX RDF	controlled access, information processing utility, reliable operation, shared information, security, privacy, segmentation, protection, multiprogramming, multiprocessing, multi-user, time-sharing
11	Kurt Fuchel	Considerations in the design of a multiple computer system with extended core storage.	Commun. ACM	1968	DBLP DOI BibTeX RDF	6600, control data corporation, extended core storage, multiple computer systems, multiprocessor operating systems, multiprogrammed operating systems, operation system with ECS
10	Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi	GUESSTIMATE: a programming model for collaborative distributed systems.	PLDI	2010	DBLP DOI BibTeX RDF	distributed systems, concurrency, collaborative applications, language extensions
10	Swastik Kopparty, Shubhangi Saraf	Local list-decoding and testing of random linear codes from high error.	STOC	2010	DBLP DOI BibTeX RDF	dual-BCH codes, noisy parity, random codes, property testing, list-decoding, sublinear-time algorithms
10	Andrew B. Kahng, Seokhyeong Kang, Rakesh Kumar 0002, John Sartori	Recovery-driven design: a power minimization methodology for error-tolerant processor modules.	DAC	2010	DBLP DOI BibTeX RDF	recovery-driven design, power minimization
10	Goshiro Yamamoto, Huichuan Xu, Kazuto Ikeda, Kosuke Sato	PALMbit-Silhouette: A User Interface by Superimposing Palm-Silhouette to Access Wall Displays.	HCI (2)	2009	DBLP DOI BibTeX RDF	user interface, shadow, pseudo-haptic
10	Mingming Fan 0001, Yuanchun Shi	Pull and Push: Proximity-Aware User Interface for Navigating in 3D Space Using a Handheld Camera.	HCI (3)	2009	DBLP DOI BibTeX RDF
10	Zoltán Ésik, Tamás Hajgató	Iteration Grove Theories with Applications.	CAI	2009	DBLP DOI BibTeX RDF
10	Kenji Terabayashi, Natsuki Miyata, Jun Ota 0001, Kazunori Umeda	Effective Adaptation to Experience of Different-Sized Hand.	ISVC (2)	2009	DBLP DOI BibTeX RDF
10	Liping Gao, Tun Lu, Ning Gu	Supporting semantic maintenance of complex Undo operations in replicated Co-AutoCAD environments.	CSCWD	2009	DBLP DOI BibTeX RDF
10	Efe Karasabun, Dogus Ertemur, Rüstü Seyhun Sariyildiz, Metin Tekkalmaz, Ibrahim Korpeoglu	A path-quality-aware peer-to-peer file sharing protocol for mobile ad-hoc networks: Wi-share.	ISCIS	2009	DBLP DOI BibTeX RDF
10	Natasha Alechina, Mark Jago, Brian Logan 0001	Preference-based belief revision for rule-based agents.	Synth.	2008	DBLP DOI BibTeX RDF	Reason maintenance systems, Rule-based agents, Preferences, Belief revision
10	Z. X. Guo 0001, Wai Keung Wong, Sunney Yung-Sun Leung, J. T. Fan, S. F. Chan	A Genetic-Algorithm-Based Optimization Model for Solving the Flexible Assembly Line Balancing Problem With Work Sharing and Workstation Revisiting.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
10	Guilu Long 0001, Yang Liu	Duality quantum computing.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	duality computer, duality quantum computer, duality parallelism, duality gates, duality mode, generalized quantum gates, combiner, divider
10	Masanori Hayakawa, Keiko Hara, Daisuke Sato 0002, Atsushi Konno, Masaru Uchiyama	Singularity avoidance by inputting angular velocity to a redundant axis during cooperative control of a teleoperated dual-arm robot.	ICRA	2008	DBLP DOI BibTeX RDF
10	Sanjay Kadam	Parallelization of Low-Level Computer Vision Algorithms on Clusters.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Parallel Computer Vision, Image Processing on Clusters, Parallel Image Convolution, Parallel Image Restoration
10	Pitch Patarasuk, Xin Yuan 0001	Efficient MPI Bcast across different process arrival patterns.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Junhua Wang, Guoxin Liu	Empirical Analysis for Influences Imposed on Human Resource Management Performance by Cultural Differences within Strategic Alliance of Multinational Corporations.	WKDD	2008	DBLP DOI BibTeX RDF
10	Farid Karimipour, Mahmoud Reza Delavar, Andrew U. Frank	A Mathematical Tool to Extend 2D Spatial Operations to Higher Dimensions.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Multi-dimensional GIS, Category Theory and Functor, Functional Programming Languages, Algebraic Structures, Spatial operations
10	César Domínguez 0001	Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	hidden algebras, symbolic computation, Coq proof assistant
10	Donghyun Kim, Kwanho Kim, Joo-Young Kim 0001, Seungjin Lee 0001, Hoi-Jun Yoo	Vision platform for mobile intelligent robot based on 81.6 GOPS object recognition processor.	DAC	2008	DBLP DOI BibTeX RDF	object recognition, network-on-chip, multi-processor SoC
10	Rutuparna Tamhankar, Srinivasan Murali, Stergios Stergiou, Antonio Pullini, Federico Angiolini, Luca Benini, Giovanni De Micheli	Timing-Error-Tolerant Network-on-Chip Design Methodology.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
10	Ashley Tews, Cédric Pradalier, Jonathan M. Roberts	Autonomous Hot Metal Carrier.	ICRA	2007	DBLP DOI BibTeX RDF
10	Jonathan M. Roberts, Ashley Tews, Cédric Pradalier, Kane Usher	Autonomous Hot Metal Carrier - Navigation and Manipulation with a 20 tonne industrial vehicle.	ICRA	2007	DBLP DOI BibTeX RDF
10	Zhisheng Niu, Yanfeng Zhu 0001, Vilius Benetis	A Phase-Type Based Markov Chain Model for IEEE 802.16e Sleep Mode and Its Performance Analysis.	ITC	2007	DBLP DOI BibTeX RDF
10	Chien-Chang Chou	A Decision Making Model for the Taiwanese Shipping Logistics Company in China to Select the Container Distribution Center Location.	HCI (9)	2007	DBLP DOI BibTeX RDF
10	Masayoshi Hirose, Ryoko Hiramoto, Kazutoshi Sumiya	GeminiMap - Geographical Enhanced Map Interface for Navigation on the Internet.	W2GIS	2007	DBLP DOI BibTeX RDF
10	Juan Núñez 0002, José M. Quintana, Maria J. Avedillo	A quasi-differential quantizer based on SMOBILE.	SBCCI	2007	DBLP DOI BibTeX RDF	multi-valued logic circuits, emerging technologies, resonant tunneling diode
10	Etsuro Okuyama, Kazuyuki Igarashi, Hiroyuki Oda, Kazuhiro Miyazaki, Kohei Ohtsu, Tadatsugi Okazaki	Guidance control of vessels using minimum time control.	SMC	2007	DBLP DOI BibTeX RDF
10	Tzung-Pei Hong, Min-Thai Wu, Ya-Fang Tung, Shyue-Liang Wang	Using escape operations in gene-set genetic algorithms.	SMC	2007	DBLP DOI BibTeX RDF
10	Manuel G. Gericota, Luís F. Lemos, Gustavo R. Alves, José M. Ferreira 0001	On-Line Self-Healing of Circuits Implemented on Reconfigurable FPGAs.	IOLTS	2007	DBLP DOI BibTeX RDF
10	Okehee Goh, Yann-Hang Lee	Schedulable Online Testing Framework for Real-Time Embedded Applications in VM.	EUC	2007	DBLP DOI BibTeX RDF	Real-Time Embedded Applications, Virtual Machine, Online Testing
10	Oscar García Morchon, Heribert Baldus, Tobias Heer, Klaus Wehrle	Cooperative security in distributed sensor networks.	CollaborateCom	2007	DBLP DOI BibTeX RDF
10	Mingoo Seok, Scott Hanson, Dennis Sylvester, David T. Blaauw	Analysis and Optimization of Sleep Modes in Subthreshold Circuit Design.	DAC	2007	DBLP DOI BibTeX RDF
10	Pradeep Kumar Mishra	Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems (Extended Version).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	EC-operations, comb methods, Jacobian coordinates, sidechannel attacks, sidechannel atomicity, pipelining, ECC, Elliptic Curve Cryptosystems, scalar multiplication, binary methods
10	Tiago Soares, Ricardo Rocha 0001, Michel Ferreira	Generic Cut Actions for External Prolog Predicates.	PADL	2006	DBLP DOI BibTeX RDF	Prolog Systems Implementation, External Modules, Pruning
10	Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang	Safe and Timely Scenario Switching in UML Real-Time Projects.	ISORC	2006	DBLP DOI BibTeX RDF
10	Guidong Liu, Wensheng Yu, Yu Liu	Resource Management with RFID Technology in Automatic Warehouse System.	IROS	2006	DBLP DOI BibTeX RDF
10	Zhijun Ding, Zhaohui Zhang, Changjun Jiang, Meiqin Pan	Formal Model of Workflow Integration and its Application in STISAG.	CSCWD	2006	DBLP DOI BibTeX RDF
10	Jayanta Mukherjee 0001, Sanjit K. Mitra	Image Filtering in the Compressed Domain.	ICVGIP	2006	DBLP DOI BibTeX RDF
10	Shantanu Chakrabartty	CMOS analog iterative decoders using margin propagation circuits.	ISCAS	2006	DBLP DOI BibTeX RDF
10	Ahmad Faraj, Pitch Patarasuk, Xin Yuan 0001	Poster reception - A study of process arrival patterns for MPI collective operations.	SC	2006	DBLP DOI BibTeX RDF
10	Aamer Nadeem, Michael R. Lyu	A Framework for Inheritance Testing from VDM++ Specifications.	PRDC	2006	DBLP DOI BibTeX RDF
10	Rosalia Christodoulopoulou, Kaloian Manassiev, Angelos Bilas, Cristiana Amza	Fast and transparent recovery for continuous availability of cluster-based servers.	PPoPP	2006	DBLP DOI BibTeX RDF	fast failure reconfiguration, fault tolerance, scalability, availability, distributed shared memory
10	Thomas Riisgaard Hansen, Jakob E. Bardram	ActiveTheatre - A Collaborative, Event-Based Capture and Access System for the Operating Theatre.	UbiComp	2005	DBLP DOI BibTeX RDF
10	Tomas E. Molina, George Yang, Abel W. Lin, Steven Peltier, Mark H. Ellisman	A Generalized Service-Oriented Architecture for Remote Control of Scientific Imaging Instruments.	e-Science	2005	DBLP DOI BibTeX RDF
10	Ning Gu, Jiangming Yang, Qiwei Zhang	Consistency maintenance based on the mark & retrace technique in groupware systems.	GROUP	2005	DBLP DOI BibTeX RDF	address space transformation, mark & retrace, CSCW, concurrency control, consistency, undo, group editors
10	Yuanpai Zhou, Ray P. S. Han	A Genetic Algorithm with Elite Crossover and Dynastic Change Strategies.	ICNC (3)	2005	DBLP DOI BibTeX RDF
10	Yu-Min Chiang, Shih-Hsin Chen, Kuo-Chang Wu	A Robust Approach for Improving Computational Efficiency of Order-Picking Problems.	KES (2)	2005	DBLP DOI BibTeX RDF
10	Carlos E. Mariano-Romero, Víctor Alcocer-Yamanaka, Eduardo F. Morales 0001	Multiobjective Water Pinch Analysis of the Cuernavaca City Water Distribution Network.	EMO	2005	DBLP DOI BibTeX RDF
10	Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri	Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages.	CiE	2005	DBLP DOI BibTeX RDF
10	Yongjie Li 0001, Dezhong Yao 0001, Jiancheng Zheng, Jonathan Yao	A Modified Genetic Algorithm for the Beam Angle Optimization Problem in Intensity-Modulated Radiotherapy Planning.	Artificial Evolution	2005	DBLP DOI BibTeX RDF
10	Andrew J. Greensted, Andy M. Tyrrell	Implementation Results for a Fault-Tolerant Multicellular Architecture Inspired by Endocrine Communication.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
10	Ki-Bog Kim, Chi-Ho Lin	An Optimal ILP Model for Delay Time to Minimize Peak Power and Area.	IWSOC	2005	DBLP DOI BibTeX RDF	B&B, scheduling, Pipelined, ILP, area, peak-power, datapath
10	Ran Mendelson, Mikkel Thorup, Uri Zwick	Meldable RAM priority queues and minimum directed spanning trees.	SODA	2004	DBLP BibTeX RDF
10	Yutaka Kidawara, Koji Zettsu	Operating Mechanism for Device Cooperative Content on Ubiquitous Network.	C5	2004	DBLP DOI BibTeX RDF
10	Hwa-Young Jeong, Young-Jae Song	Component Composition Tools: Process Call Scheduling According to the Priority in Connector.	EUC	2004	DBLP DOI BibTeX RDF
10	Moez Bellamine, Norihiro Abe, Kazuaki Tanaka, Peng Chen 0002, Hirokazu Taki	A Virtual Reality Based System for Remote Maintenance of Rotating Machinery.	EUC	2004	DBLP DOI BibTeX RDF
10	Yonsang Cho, Irith Pomeranz, Sudhakar M. Reddy	Test Application Time Reduction for Scan Circuits Using Limited Scan Operations.	ISQED	2004	DBLP DOI BibTeX RDF
10	Liam Roditty, Uri Zwick	A fully dynamic reachability algorithm for directed graphs with an almost linear update time.	STOC	2004	DBLP DOI BibTeX RDF	directed graphs, reachability, transitive closure, dynamic graphs algorithms
10	Pradeep Kumar Mishra	Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems.	CHES	2004	DBLP DOI BibTeX RDF	Jacobian coordinates, pipelining, Elliptic curve cryptosystems, scalar multiplication
10	Rezaul Alam Chowdhury, Vijaya Ramachandran	Cache-oblivious shortest paths in graphs using buffer heap.	SPAA	2004	DBLP DOI BibTeX RDF	buffer heap, cache-aware model, cache-oblivious model, decrease-key, tournament tree, shortest paths, priority queue
10	Chao-Tung Yang, Chien-Tung Pan, Kuan-Ching Li, Wen-Kui Chang	On Construction of a Large File System Using PVFS for Grid.	PDCAT	2004	DBLP DOI BibTeX RDF	Cluster, Grid Computing, Data Grid, Parallel Virtual File Systems
10	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
10	Kazumasa Kobayashi, Kazuhiko Nakamura, Hisayoshi Hayashi, Yoshinori Kitatsuji, Satoshi Katsuno, Yukiji Mikamo, Akihiko Machizawa, Hiroshi Esaki	JGN IPv6 Network.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
10	Florian Vogt, Sophie Krüger, Heinrich Niemann, Christoph Schick	A System for Real-Time Endoscopic Image Enhancement.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
10	Ran Canetti, Tal Rabin	Universal Composition with Joint State.	CRYPTO	2003	DBLP DOI BibTeX RDF
10	Andrea Santoro, Francesco Quaglia	PCI-DMA/CPU Handoff for Increased Effectiveness of Checkpointing Functionalities in CCL.	DS-RT	2003	DBLP DOI BibTeX RDF
10	Adam Wagner, Darius Buntinas, Dhabaleswar K. Panda 0001, Ron Brightwell	Application-Bypass Reduction for Large-Scale Clusters.	CLUSTER	2003	DBLP DOI BibTeX RDF
10	Muriel Médard, Richard A. Barry, Steven G. Finn, Wenbo He, Steven Lumetta	Generalized loop-back recovery in optical mesh networks.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	loop-back, network restoration, mesh networks, WDM
10	Bruce I. Reiner, Eliot L. Siegel, John A. Carrino	Workflow Optimization: Current Trends and Future Directions.	J. Digit. Imaging	2002	DBLP DOI BibTeX RDF
10	Adnan A. Y. Mustafa	Identifying and Classifying Image Transforms.	ICPR (2)	2002	DBLP DOI BibTeX RDF