Search results for "dependent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Nick D. Goots, Boris V. Izotov, Alexander A. Moldovyan, Nick A. Moldovyan	Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64.	MMM-ACNS	2003	DBLP DOI BibTeX RDF	Data-Dependent Permutations, SPECTR-H64, Differential Analysis
14	Nick A. Moldovyan	On Cipher Design Based on Switchable Controlled Operations.	MMM-ACNS	2003	DBLP DOI BibTeX RDF	Fast Encryption, Hardware-Oriented Ciphers, Switchable Operations, Controlled Operations, Data-Dependent Operations
14	Hongwei Xi	Unifying object-oriented programming with typed functional programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	DML, object-oriented, dependent types
14	Anne Aaron, Bernd Girod	Compression with Side Information Using Turbo Codes.	DCC	2002	DBLP DOI BibTeX RDF	statistically dependent sources, Slepian-Wolf theorem, Gaussian sequences, source coding, turbo codes, iterative decoding, binary sequences, joint source-channel coding, distributed source coding, side information
14	Péter Gács	Clairvoyant scheduling of random walks.	STOC	2002	DBLP DOI BibTeX RDF	dependent percolation, scheduling, distributed computing
14	Changhoon Lee, Deukjo Hong, Sungjae Lee, Sangjin Lee 0002, Hyungjin Yang, Jongin Lim 0001	A Chosen Plaintext Linear Attack on Block Cipher CIKS-1.	ICICS	2002	DBLP DOI BibTeX RDF	CIKS-1(Cipher with Internal Key Scheduling), Block Cipher, Linear Cryptanalysis, Data-Dependent Permutation
14	Byron Krauter, David Widiger	Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax.	DAC	2002	DBLP DOI BibTeX RDF	GCD frequency, LCM window, frequency-dependent noise, timing orthogonality, crosstalk, noise analysis, timing windows
14	Tong Kang, Dehao Yu	Some A Posteriori Error Estimates of the Finite-Difference Streamline-Diffusion Method for Convection-Dominated Diffusion Equations.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	finite-difference streamline-diffusion method, time-dependent convection-dominated diffusion equations, a posteriori error estimates
14	Péter Gács	Compatible sequences and a slow Winkler percolation.	STOC	2001	DBLP DOI BibTeX RDF	dependent percolation, scheduling, distributed computing
14	Wolfgang Lindner 0001, Henrike Berthold, Frank Binkowski, Andreas Heuer 0001, Klaus Meyer-Wegener	Enabling Hypermedia Videos in Multimedia Database Systems Coupled with Realtime Media Servers.	IDEAS	2000	DBLP DOI BibTeX RDF	hypermedia videos, real time media servers, standard structured data, distinct systems, multimedia DBMS, hypermedia link anchors, client software, video playout, update processing, metadata, query processing, video stream, multimedia databases, continuous media, structured data, multimedia database systems, integrated management, video data, local structures, time-dependent data, MMDBS, media servers, hypermedia structures
14	W. Sae-Tung, Tadashi Ohmori, Mamoru Hoshi	An Integration System of Web Information Sources for Mobile Users.	IDEAS	2000	DBLP DOI BibTeX RDF	Web information sources, location-dependent contents, system-side servers, navigational integration, PDA, system architecture, information resources, Web contents, integration system, mobile users
14	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
14	Matthew K. H. Leung, John C. S. Lui, David K. Y. Yau	Characterization and Performance Evaluation for Proportional Delay Differentiated Services.	ICNP	2000	DBLP DOI BibTeX RDF	proportional delay differentiated services, Internet differentiated services, traffic classes, tariff rate, time-dependent priority scheduling, proportional delay model, delay ratios, scheduling parameters, efficient control algorithm, relative waiting time, performance evaluation, performance evaluation, Internet, delays, telecommunication traffic, waiting times, telecommunication services, ISP, feasible regions, average waiting time, service classes
14	Haiyun Luo, Songwu Lu	A Topology-Independent Fair Queueing Model in Ad Hoc Wireless Networks.	ICNP	2000	DBLP DOI BibTeX RDF	topology-independent fair queueing model, delay-sensitive packet flows, rate-sensitive packet flows, shared-medium ad hoc network, location-dependent contention, spatial channel reuse maximization, distributed fair scheduling, coordinated fair channel access, packetized algorithms, fluid fairness model, distributed implementations, ideal centralized algorithm, scheduling, fairness, queueing theory, ad hoc wireless networks, graph colouring, multihop wireless network, packet radio networks, performance bounds, channel utilization
14	Daniel N. Wood, Daniel I. Azuma, Ken Aldinger, Brian Curless, Tom Duchamp, David Salesin, Werner Stuetzle	Surface light fields for 3D photography.	SIGGRAPH	2000	DBLP DOI BibTeX RDF	function quantization, principal function analysis, surface light fields, view-dependent level-of-detail, wavelets, image-based rendering, light field, 3D photography, lumigraph
14	Yi-Min Jiang, Angela Krstic, Kwang-Ting Cheng	Dynamic Timing Analysis Considering Power Supply Noise Effects.	ISQED	2000	DBLP DOI BibTeX RDF	dynamic timing analysis, input pattern dependent, power supply noise, deep submicron designs
14	Jae-Wook Lee, Jun-Woo Lee, Tae-wan Kim, Dae-Ung Kim	Satellite over Satellite (SOS) Network: A Novel Concept of Hierarchical Architecture and Routing in Satellite Network.	LCN	2000	DBLP DOI BibTeX RDF	satellite over satellite network, SOS network, global broadband services, long distance dependent, broadband satellite network, hierarchical satellite constellation, hierarchical satellite routing protocol, adaptive routing protocol, LDD multimedia traffic, HSRP, quality of service, QoS, routing, protocols, network topology, multimedia communication, telecommunication network routing, multimedia traffic, broadband networks, hierarchical architecture, topological design, satellite links
14	Tatsuya Hagiwara, Hiroki Doi, Hideki Tode, Hiromasa Ikeda	High-Speed Calculation Method of the Hurst Parameter Based on Real Traffic.	LCN	2000	DBLP DOI BibTeX RDF	high-speed calculation method, traffic measurement analysis, packet traffic, long range dependent properties, variance-time plot method, performance, packet switching, fractals, self-similarity, buffer overflow, telecommunication traffic, network performance, telecommunication congestion control, network control, Hurst parameter
14	Daniel Barbará	Mobile Computing and Databases - A Survey.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Mobile computing, databases, interfaces, bandwidth, data dissemination, transaction management, location-dependent queries
14	Tokuyasu Kakuta, Makoto Haraguchi	A demonstration of a legal reasoning system based on teleological analogies.	ICAIL	1999	DBLP DOI BibTeX RDF	goal-dependent abstraction, legal reasoning system, order-sorted logic, analogy
14	Anand Natrajan, Paul F. Reynolds Jr.	Resolving Concurrent Interactions.	DIS-RT	1999	DBLP DOI BibTeX RDF	dependent concurrent interaction effects serialization
14	Ali Movaghar 0001	On queueing with customer impatience until the beginning of service.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	state-dependent Poisson process, queue, deadline, impatient customers
14	Shu-Heng Chen, Chih-Chi Ni	Using Genetic Algorithms to Simulate the Evolution of an Oligopoly Game.	SEAL	1998	DBLP DOI BibTeX RDF	Cartels, Price Wars, State-Dependent Markov Chain, Genetic Algorithms, Coevolution, Oligopoly
14	Julie C. Xia, Jihad El-Sana, Amitabh Varshney	Adaptive Real-Time Level-of-Detail-Based Rendering for Polygonal Models.	IEEE Trans. Vis. Comput. Graph.	1997	DBLP DOI BibTeX RDF	View-dependent simplifications, triangle hierarchies, multiresolution hierarchies, simplification, selective refinement
14	R. Hauber	Numerical treatment of retarded differential-algebraic equations by collocation methods.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	state-dependent lag, 34K05, collocation methods, delay differential equations, differential-algebraic equations, 65L05, 65Q05
14	Jiang Wen, Xiaolin Wu 0001, Wai-Yin Ng	VQ index coding for high-fidelity medical image compression.	ICIP (3)	1997	DBLP DOI BibTeX RDF	VQ index coding, high-fidelity medical image compression, conditional entropy coding, MR head images, image-type-dependent CECOVI, wavelet image coder, MRI, experimental results, context modeling, vector quantisation, SPIHT, rate-distortion performance, probability estimation, brain images, lossy image compression
14	Chaitali Biswas, Helen Na	Limited Angle Tomography Using Volumetric Constraints.	ICIP (1)	1997	DBLP DOI BibTeX RDF	ionospheric techniques, limited angle tomography, volumetric constraints, volumetric a priori information, computerized ionospheric tomography, data-dependent localized volumetric correction, projection domain, iterative inversion algorithm, ionospheric electron density, image reconstruction, 3D images, 2D images, image domain
14	John R. Budenske, Ranga S. Ramanujan, Howard Jay Siegel	On-line use of off-line derived mappings for iterative automatic target recognition tasks and a particular class of hardware platforms.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	online use, offline derived mappings, iterative automatic target recognition tasks, real-time on-line input-data dependent remappings, heterogeneous hardware platform, operating system, program verification, heterogeneous computing, application domain, hardware platforms
14	David W. Matula, Asger Munk Nielsen	Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations
14	Nasser Kalantery	Parallel discrete event processing of sequential computations.	ICPADS	1997	DBLP DOI BibTeX RDF	parallel discrete event processing, discrete event methods, sequential software parallelization, optimistic execution strategy, temporal coordinate system, logical time mechanism, adaptive synchronisation, data dependent parallelism, conditional parallelism, coherency violation, coarse grain mapping, parallel discrete event simulation, program control structures, program control structure, sequential computations
14	Daniela Rosu 0001, Karsten Schwan, Sudhakar Yalamanchili, Rakesh Jha	On adaptive resource allocation for complex real-time application.	RTSS	1997	DBLP DOI BibTeX RDF	complex real-time applications, high-performance real-time applications, limited resource availability, embedded system platforms, resource needs, over-sizing, worst-case application needs, time-critical applications, C31 systems, resource allocation, satisfiability, timing constraints, data-dependent, performance metrics, adaptive resource allocation
14	Piet Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete	Cyclo-Dynamic Dataflow.	PDP	1996	DBLP DOI BibTeX RDF	cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools
14	B. Vijayakumar, David J. Kriegman, Jean Ponce	Structure and motion of curved 3D objects from monocular silhouettes.	CVPR	1996	DBLP DOI BibTeX RDF	curved 3D objects, monocular silhouettes, smooth 3D object, Euclidean surface structure, scaled orthographic projection, viewpoint-invariant representation, viewpoint-dependent features, bitangents, contour points, parallel tangents, stereo frontier points, infinitesimal motion frontier points, computational geometry, motion estimation, computer graphics, stereo image processing, epipolar geometry, camera motion, surface geometry, inflections, moving camera, image velocity
14	Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel	DYNAMITE: Dynamic Task Nets for Software Process Management.	ICSE	1996	DBLP BibTeX RDF	DYNAMITE, dynamic task nets, incremental modification, process dynamics, product-dependent structure evolution, programmed graph rewriting system, software maintenance, software development, planning, feedback, concurrent engineering, software management, editing, software process management, enactment
14	Thierry Guiard-Marigny, Nicolas Tsingos, Ali Adjoudani, Christian Benoît, Marie-Paule Gascuel	3D Models Of The Lips For Realistic Speech Animation.	CA	1996	DBLP DOI BibTeX RDF	audio-visual systems, realistic images, lip modelling, realistic speech animation, audio visual articulatory speech synthesizer, border contours, vermilion zone, lip shape, speaker dependent conformations, natural lips, French speaker, reference lip shapes, lip contact, natural languages, computer animation, 3D models, implicit surfaces, speech synthesis, volumetric model, continuous functions, human face, geometrical analysis, algebraic equations
14	Ilham Benyahia	Using a discrete event simulation to test a generic architecture for complex real-time systems.	ICECCS	1996	DBLP DOI BibTeX RDF	generic architecture test, dependent parameters, interconnected components, systems interaction environments, discrete event simulation, discrete event simulation, complex real-time systems, object-oriented techniques
14	Christian Dünkel, Dietrich Reschke	Interval-Based Real-Time Transmission Control.	LCN	1996	DBLP DOI BibTeX RDF	interval-based real-time transmission control, cell switched transmission systems, packet switched transmission systems, real-time data transfer, load variations, data stream behavior, data stream dependent time parameter adjustment, control process, data stream smoothing, compression processes, source node, real-time systems, queueing, network nodes, network node
14	B. Vijayakumar, David J. Kriegman, Jean Ponce	Invariant-Based Recognition of Complex Curved 3D Objects from Image Contours.	ICCV	1995	DBLP DOI BibTeX RDF	invariant-based recognition, complex curved 3D object recognition, smooth curved surfaces, monocular image contours, viewpoint-dependent image features, object geometry, contour bitangents, parallel tangents points, scaled orthographic projection viewpoints, camera-object motion, model database, feature extraction, computational geometry, object recognition, motion estimation, 3D models, image features, occluding contour, image contours, inflections, three-dimensional objects
14	Jamshed N. Patel, Ashfaq A. Khokhar, Leah H. Jamieson	Scalable parallel list ranking of image edges on fine-grained machines.	IPPS	1995	DBLP DOI BibTeX RDF	fine-grained machines, scalable parallel list ranking, image edges, fine-grained list ranking algorithms, image edge lists, edge link spatial locality, actual edge data, synthetic edge data, MasPar MP-2, performance, parallel algorithms, edge detection, randomized algorithm, parallel machines, software performance evaluation, speedup, randomised algorithms, list processing, locality properties, data-dependent operation, MasPar MP-1
14	Kumar N. Lalgudi, Marios C. Papaefthymiou	Efficient retiming under a general delay model.	ARVLSI	1995	DBLP DOI BibTeX RDF	retiming algorithm, general delay model, edge-triggered circuits, load-dependent gate delays, register delays, integer linear programming constraints, integer phonotonic programming formulation, linear programming, delays, timing, integer programming, logic design, logic design, logic circuits, clock skew, propagation delays, interconnect delays
14	Oleg A. Panfilov	Performance analysis of RAID-5 disk arrays.	HICSS (1)	1995	DBLP DOI BibTeX RDF	peripheral interfaces, RAID-5 disk arrays, SCSIs, application dependent read/write ratio, performance evaluation, performance analysis, storage management, disk arrays, magnetic disc storage, files, system throughput, nonlinear function
14	Randy Chow, I-Lung Kao	Modeling complex access control policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	access authorization, classified categories, state-dependent security, distributed systems, distributed processing, security policies, security of data, authorisation, access control model, access control policies, Boolean expressions
14	Mingjing Li, Ru-Wei Dai	A personal handwritten Chinese character recognition algorithm based on the generalized Hough transform.	ICDAR	1995	DBLP DOI BibTeX RDF	personal handwritten Chinese character recognition, arbitrary 2D shape detection, writer-dependent, character pre-classification, pattern recognition, feature extraction, similarity measure, handwriting recognition, look-up-table, parameter space, generalized Hough transform
14	Tang Dac Cong	Application of the method of collective marks to someM/G/1 vacation models with exhaustive service.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Time-dependent queues, single vacation, multiple vacations, Collective Marks
14	Michael S. Lew, Thomas S. Huang, Kam Wong	Learning and Feature Selection in Stereo Matching.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	image dependent knowledge, image independent knowledge, self-diagnostic method, surface reconstruction model, learning (artificial intelligence), feature extraction, feature selection, approximation, image reconstruction, surface reconstruction, adaptive systems, error analysis, stereo image processing, stereo matching, feature space, instance based learning, adaptive method, feature set
14	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
14	Georges Winkenbach, David Salesin	Computer-generated pen-and-ink illustration.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	architectural rendering, comprehensible rendering, prioritized stroke textures, resolution-dependent rendering, texture indication, non-photorealistic rendering
14	Erik H. D'Hollander	Partitioning and Labeling of Loops by Unimodular Transformations.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix
14	Marc Abrams, Naganand Doraswamy, Anup Mathur	Chitra: Visual Analysis of Parallel and Distributed Programs in the Time, Event, and Frequency Domains.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	program execution sequence, semi-Markov chain model, PES, programstate vector, Chitra, time-dependent behavior, transform selection, program parameters, input PES, visualization, Markov processes, visual programming, system monitoring, visual analysis, parallelprogramming, performance problems
14	Robert A. Boie, Ingemar J. Cox	An Analysis of Camera Noise.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	camera noise, ionization sensors, vidicon cameras, direction-dependent stationary electronic noise sources, computer vision, computer vision, noise, cameras, adaptive signal processing, charge-coupled device, charge-coupled devices
14	John Zahorjan, Edward D. Lazowska, Derek L. Eager	The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	scheduling discipline, spin overhead, shared memory parallel systems, busywaiting, data-dependent execution, memoryarchitecture, scheduling, performance evaluation, parallel machines, spinning, multiprogramming, parallel processors
14	Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly	An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software redundancy, independently developed software, residual software design faults, multiversion software, dependent failures, aerospace application, fault tolerant computing, software reliability, redundancy, program testing, experimental results, development process, experimental evaluation, programmers, failure probabilities, multiple versions
14	Patrick J. Flynn, Anil K. Jain 0001	CAD-Based Computer Vision: From CAD Models to Relational Graphs.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	CAD-based computer vision, relational graphs, 3-D object recognition systems, mechanical CAD systems, manufacturing database, industry-standard IGES form, polyhedral approximation, geometric inferencing, view-independent information, view-dependent information, patch areas, synthetic views, computer vision, solid modelling, solid modelling, CAD/CAM, CAD/CAM
14	Patrick Kenny, Matthew Lennig, Paul Mermelstein	Speaker Adaptation in a Large-Vocabulary Gaussian HMM Recognizer.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Gaussian HMM speech recognition, phoneme-dependent spectral mapping, hidden Markov models, heuristic, speech recognition, Markov processes, matrix algebra, spectral analysis, covariance matrices, speaker adaptation
14	Jean-Loup Baer, Yi-Bing Lin	Improving Quicksort Performance with a Codewort Data Structure.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	codeword data structure, long, alphanumeric sequences, bytes, codeword generator, character count, first nonequal byte, quicksort algorithm, architecture-dependent parameters, in-line expansion, data structures, caches, sorting, compiler optimizations, register allocation, performance improvement, ordering, pointer, records, keys, swaps, write policies
14	Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa	A System for Generating Language-Oriented Editors.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	language dependent data representation, language-oriented editors, language-oriented tools, target language description, data structures, data structures, object-oriented, software tools, software tools, application generators, application generators, text editing, abstract syntax tree, description language
12	Qin Zheng 0002, Bharadwaj Veeravalli, Chen-Khong Tham	On the Design of Fault-Tolerant Scheduling Strategies Using Primary-Backup Approach for Computational Grids with Low Replication Costs.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
12	Yashun Zhang, Shengyuan Xu, Baoyong Zhang	Robust Output Feedback Stabilization for Uncertain Discrete-Time Fuzzy Markovian Jump Systems With Time-Varying Delays.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
12	Chia-Hung Dylan Tsai, Imin Kao	The latency model for viscoelastic contact interface in robotics: Theory and experiments.	ICRA	2009	DBLP DOI BibTeX RDF
12	Luiz Carlos Castro Guedes, Edward Hermann Haeusler	Action Algebras and Model Algebras in Denotational Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	James Gross	Admission control based on OFDMA channel transformations.	WOWMOM	2009	DBLP DOI BibTeX RDF
12	Jingjing Liu	Personalizing information retrieval using task features, topic knowledge, and task product.	SIGIR	2009	DBLP DOI BibTeX RDF	contextual factors in IR, personalization of IR, task
12	Bart Coppens 0001, Ingrid Verbauwhede, Koen De Bosschere, Bjorn De Sutter	Practical Mitigations for Timing-Based Side-Channel Attacks on Modern x86 Processors.	SP	2009	DBLP DOI BibTeX RDF
12	Amine Chohra, Kurosh Madani, Dalel Kanzari	Fuzzy Cognitive and Social Negotiation Agent Strategy for Computational Collective Intelligence.	ICCCI	2009	DBLP DOI BibTeX RDF	Social and cognitive systems, adaptation, negotiation, strategies, behaviors
12	Wan-Hui Tseng, Chin-Feng Fan	Handling Malicious Code on Control Systems.	SAFECOMP	2007	DBLP DOI BibTeX RDF	control systems security, malicious code classification, undecidability
12	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu	State of the Union: Type Inference Via Craig Interpolation.	TACAS	2007	DBLP DOI BibTeX RDF
12	T. S. Ganesh, Viswanathan Subramanian, Arun K. Somani	SEU Mitigation Techniques for Microprocessor Control Logic.	EDCC	2006	DBLP DOI BibTeX RDF
12	Wilson Eberle, Yan-Fei Liu, Paresh C. Sen	A Simple Large Signal Model for Isolated DC-DC Converters.	CCECE	2006	DBLP DOI BibTeX RDF
12	Ti-Chiun Chang, Jan P. Allebach	Quantization of accumulated diffused errors in error diffusion.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
12	Nicolaas Tack, Gauthier Lafruit, Francky Catthoor, Rudy Lauwereins	Pareto based optimization of multi-resolution geometry for real time rendering.	Web3D	2005	DBLP DOI BibTeX RDF	MPEG-4 WSS, cost-benefit, pareto optimization
12	Seung-Hun Yoo, Tae-Dong Lee, Chang-Sung Jeong	An Extensible Framework for Advanced Distributed Virtual Environment on Grid.	AIS	2004	DBLP DOI BibTeX RDF
12	Chin-Yu Huang, Chu-Ti Lin, Sy-Yen Kuo, Michael R. Lyu, Chuan-Ching Sue	Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags.	COMPSAC	2004	DBLP DOI BibTeX RDF
12	Clemens Heitzinger, Wolfgang Pyka, Naoki Tamaoki, Toshiro Takase, Toshimitsu Ohmine, Siegfried Selberherr	Simulation of arsenic in situ doping with polysilicon CVD and its application to high aspect ratio trenches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
12	Mohamed S. Kamel, Nayer M. Wanas	Data Dependence in Combining Classifiers.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
12	Lei Xu 0003, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen	Regression Testing for Web Applications Based on Slicing.	COMPSAC	2003	DBLP DOI BibTeX RDF	Web testing, Software testing, Web application, Program slicing, Regression testing
12	Rolf Hoffmann, Klaus-Peter Völkmann, Wolfgang Heenes	GCA: A Massively Parallel Model.	IPDPS	2003	DBLP DOI BibTeX RDF
12	Jack da Silva, Austin L. Hughes	Monte Carlo Simulation of HIV-1 Evolution in Response to Selection by Antibodies.	IPDPS	2002	DBLP DOI BibTeX RDF
12	Jih-Kwon Peir, Shih-Chang Lai, Shih-Lien Lu, Jared Stark, Konrad Lai	Bloom filtering cache misses for accurate data speculation and prefetching.	ICS	2002	DBLP DOI BibTeX RDF	bloom filter, instruction scheduling, data cache, data prefetching, data speculation
12	Hideki Shimada, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda	Evaluation of a Location Management System for Wireless Communicating Mobile Computers.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
12	Mark S. Squillante, Baffelly Woo, Li Zhang 0002	Analysis of queues under correlated arrivals with applications to web server performance.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
12	Hakan Yalcin, Mohammad Mortazavi, Robert Palermo, Cyrus Bamji, Karem A. Sakallah, John P. Hayes	Fast and accurate timing characterization using functionalinformation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
12	Chen-Yong Cher, T. N. Vijaykumar	Skipper: a microarchitecture for exploiting control-flow independence.	MICRO	2001	DBLP DOI BibTeX RDF
12	Hongwei Xi, Robert Harper 0001	A Dependently Typed Assembly Language.	ICFP	2001	DBLP DOI BibTeX RDF
12	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	The Control of Synchronous Systems, Part II.	CONCUR	2001	DBLP DOI BibTeX RDF
12	Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider 0001, Michalis Vazirgiannis	A foundation for representing and querying moving objects.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases
12	Tetsuro Katayama, Keizo Saisho, Akira Fukuda	Proposal of a Support System for Device Driver Generation.	APSEC	1999	DBLP DOI BibTeX RDF	network, operating systems, ethernet, device drivers, automatic generation
12	Atsushi Igarashi, Benjamin C. Pierce	Foundations for Virtual Types.	ECOOP	1999	DBLP DOI BibTeX RDF
12	Eric Fleury, Pierre Fraigniaud	A General Theory for Deadlock Avoidance in Wormhole-Routed Networks.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Routing, multicast, deadlock, wormhole
12	Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali	A Structured Approach for Synthesizing Planners from Specifications.	ASE	1997	DBLP DOI BibTeX RDF	planners synthesis, domain-independent approach, error-proneness, manual coding, knowledge-based software synthesis tools, CLAY, Kestrel Interactive Development System, declarative control knowledge, AI, specifications, knowledge based systems, structured approach
12	Kazuo J. Ezawa, Steven W. Norton	Constructing Bayesian Networks to Predict Uncollectible Telecommunications Accounts.	IEEE Expert	1996	DBLP DOI BibTeX RDF
12	J. Michael Pratt, Maxine S. Cohen	A Process-Oriented Scientific Database Model.	SIGMOD Rec.	1992	DBLP DOI BibTeX RDF
12	Mahmud Shahriar Hossain, Satish Tadepalli, Layne T. Watson, Ian Davidson, Richard F. Helm, Naren Ramakrishnan	Unifying dependent clustering and disparate clustering for non-homogeneous data.	KDD	2010	DBLP DOI BibTeX RDF	multi-criteria optimization., relational clustering, clustering, contingency tables
12	Yonatan Myers, Leo Joskowicz	Point distance and orthogonal range problems with dependent geometric uncertainties.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF
12	Maarten H. Everts, Henk Bekker, Jos B. T. M. Roerdink, Tobias Isenberg 0001	Depth-Dependent Halos: Illustrative Rendering of Dense Line Data.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
12	Ira Neitzel, Uwe Prüfert, Thomas Slawig	Strategies for time-dependent PDE control with inequality constraints using an integrated modeling and simulation environment.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Parabolic PDEs, Integrated modeling and simulation environments, Optimal control, Inequality constraints
12	Lynne E. Parker, Christopher M. Reardon, Heeten Choxi, Cortney Bolden	Using critical junctures and environmentally-dependent information for management of tightly-coupled cooperation in heterogeneous robot teams.	ICRA	2009	DBLP DOI BibTeX RDF
12	Benoît Chapurlat, Hisataka Maruyama, Yoko Yamanishi, Kyosuke Kotani, Fumihito Arai	Size-dependent microparticle filtration using magnetically driven microtool for producing gel-microtool.	IROS	2009	DBLP DOI BibTeX RDF
12	Chen-Hsuan Lin, Chun-Yao Wang	Dependent latch identification in the reachable state space.	ASP-DAC	2009	DBLP DOI BibTeX RDF
12	Modjtaba Khalidji, Hossein Moeinzadeh, Ahmad Akbari, Bijan Raahemi	LDA Pre-processing for Classification: Class-Dependent Single Objective GA and Multi-objective GA Approaches.	IDEAL	2009	DBLP DOI BibTeX RDF	Genetic Algorithm, Classification, Linear Discriminate Analysis, Multi-Objective Genetic Algorithm, Pre-processing
12	Frank K. H. A. Dehne, Masoud T. Omran, Jörg-Rüdiger Sack	Shortest paths in time-dependent FIFO networks using edge load forecasts.	GIS-IWCTS	2009	DBLP DOI BibTeX RDF