Search results for "Computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Michelle Mills Strout, Larry Carter, Jeanne Ferrante	Rescheduling for Locality in Sparse Matrix Computations.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
17	Mikhail P. Levin	Quasi-Characteristics Scheme with Parallel Facilities for Computations of Two-Phase Flows in Heterogeneous Porous Media.	PPAM	2001	DBLP DOI BibTeX RDF
17	Alessandro Marongiu, Paolo Palazzari, Vittorio Rosato	Parallel dedicated hardware devices for heterogeneous computations.	SC	2001	DBLP DOI BibTeX RDF	dedicated hardware device, low-autocorrelation binary sequences, systems of affine recurrence equations
17	U. Nagaraj Shenoy, Prithviraj Banerjee, Alok N. Choudhary, Mahmut T. Kandemir	Efficient Synthesis of Array Intensive Computations onto FPGA Based Accelerators.	VLSI Design	2001	DBLP DOI BibTeX RDF
17	Panagiota Fatourou	Low-contention depth-first scheduling of parallel computations with write-once synchronization variables.	SPAA	2001	DBLP DOI BibTeX RDF
17	Sally A. McKee, William A. Wulf, James H. Aylor, Robert H. Klenke, Maximo H. Salinas, Sung I. Hong, Dee A. B. Weikle	Dynamic Access Ordering for Streamed Computations.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Memory systems architecture, memory access ordering, memory access scheduling, memory bandwidth, memory latency
17	E. Christopher Lewis, Lawrence Snyder	Pipelining Wavefront Computations: Experiences and Performance.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
17	Yi Pan 0001, Si-Qing Zheng, Keqin Li 0001, Hong Shen 0001	Semigroup and Prefix Computations on Improved Generalized Mesh-Connected Computers with Multiple Buses.	IPDPS	2000	DBLP DOI BibTeX RDF	mesh-connected computer with multiple buses, parallel algorithm, parallel computing, parallel architecture, processor array, bus, mesh-connected computer
17	Norman Margolus	An embedded DRAM architecture for large-scale spatial-lattice computations.	ISCA	2000	DBLP DOI BibTeX RDF	lattice gas, cellular automata, PIM, virtual processor
17	Robert D. Blumofe, Charles E. Leiserson	Scheduling Multithreaded Computations by Work Stealing.	J. ACM	1999	DBLP DOI BibTeX RDF	critical-path length, multiprocessor, randomized algorithm, multithreading, work stealing, thread scheduling
17	Tao Yang 0009, Cong Fu 0002	Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	direct remote memory access, irregular parallelism, run-time support, DAG scheduling
17	Rafael Asenjo, Oscar G. Plata, Juan Touriño, Ramon Doallo, Emilio L. Zapata	HPF-2 Support for Dynamic Sparse Computations.	LCPC	1998	DBLP DOI BibTeX RDF
17	Christian Wicke, Lubomir Bic, Michael B. Dillencourt, Munehiro Fukuda	Automatic State Capture of Self-Migrating Computations in MESSENGERS.	Mobile Agents	1998	DBLP DOI BibTeX RDF
17	Luc Moreau 0001, Christian Queinnec	Distributed Computations Driven by Resource Consumption.	ICCL	1998	DBLP DOI BibTeX RDF
17	Ishwar Parulkar, Sandeep K. Gupta 0001, Melvin A. Breuer	Introducing Redundant Computations in a Behavior for Reducing BIST Resources.	DAC	1998	DBLP DOI BibTeX RDF
17	Markus Holzer 0001	Multi-Head Finite Automata: Data-Independent Versus Data-Dependent Computations.	MFCS	1997	DBLP DOI BibTeX RDF
17	François Llirbat, Françoise Fabret, Eric Simon	Eliminating Costly Redundant Computations from SQL Trigger Executions.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF	SQL
17	Delbert Hart, Eileen T. Kraemer	Interactive Visual Exploration of Distributed Computations.	IPPS	1997	DBLP DOI BibTeX RDF
17	Yongwha Chung	An Algorithmic Framework for Parallelizing Vision Computations on Distributed-Memory Machines.	ICPADS	1997	DBLP DOI BibTeX RDF
17	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary	Improving the Performance of Out-of-Core Computations.	ICPP	1997	DBLP DOI BibTeX RDF
17	Álvaro Suárez Sarmiento, Carmen N. Ojeda-Guerra	Overlapping Computations and Communications in Torus Networks.	PDP	1996	DBLP DOI BibTeX RDF
17	Sally A. McKee, William A. Wulf, Trevor C. Landon	Bounds on Memory Bandwidth in Streamed Computations.	Euro-Par	1995	DBLP DOI BibTeX RDF
17	David G. Von Bank, Charles M. Shub, Robert W. Sebesta	A Unified Model of Pointwise Equivalence of Procedural Computations.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dynamic migration, heterogeneous migration
17	Arnold Schönhage, Ekkehart Vetter	A New Approach to Resultant Computations and Other Algorithms with Exact Division.	ESA	1994	DBLP DOI BibTeX RDF
17	David Nassimi	Parallel Algorithms for the Classes of +or-2b DESCEND and ASCEND Computations on a SIMD Hypercube.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	2/sup b/ permutation, SIMD hypercube, routing steps, full-duplex routing, parallelcomputations, +or-2/sup b/ ascend, +or-2/sup b/ descend, cyclicshift, odd-even merge, PM2I interconnection, parallel algorithms, computational complexity, hypercube networks, efficient algorithm, parallel prefix
17	Wolfgang Thomas, Helmut Lescow	Logical Specifications of Infinite Computations.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Infinite words, descriptive set theory, Cantor space, Borel hierarchy, Büchi automata, acceptance conditions, infinite trees, temporal logic, languages, regular -languages, monadic second-order logic, recursion theory, infinite games
17	Roberto Giacobazzi, Laura Ricci	Detecting Determinate Computations by Bottom-up Abstract Interpretation.	ESOP	1992	DBLP DOI BibTeX RDF
17	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
17	Chandrajit L. Bajaj	Geometric Computations with Algebraic Varieties of Bounded Degree.	SCG	1990	DBLP DOI BibTeX RDF
17	Akhilesh Tyagi, John H. Reif	Energy complexity of optical computations.	SPDP	1990	DBLP DOI BibTeX RDF
17	Dario Bini, Victor Y. Pan	Parallel Polynomial Computations by Recursive Processes.	ISSAC	1990	DBLP DOI BibTeX RDF
17	Nikos Chrisochoides, Catherine E. Houstis, Elias N. Houstis, S. K. Kortesis, John R. Rice	Automatic load balanced paritioning strategies for PDE computations.	ICS	1989	DBLP DOI BibTeX RDF
17	Bernadette Charron-Bost	Measure of Parallelism of Distributed Computations.	STACS	1989	DBLP DOI BibTeX RDF
17	Jozef Gruska	Systolic Architectures, Systems and Computations.	ICALP	1988	DBLP DOI BibTeX RDF
17	Hugh C. Lauer	Long computations.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF
17	T. E. Tezduyar, Roland Glowinski, J. Liou, Tung Nguyen, Steve Poole 0001	Block-iterative finite element computations for incompressible flow problems.	ICS	1988	DBLP DOI BibTeX RDF
17	Shaji Bhaskar, Gael N. Buckley	Computations in Undistinguished Networks.	FSTTCS	1987	DBLP DOI BibTeX RDF
17	Michael A. Bauer 0001	Soundness and Completeness of a Synthesis Algorithm Based on Example Computations	J. ACM	1985	DBLP DOI BibTeX RDF
17	M. A. Nait Abdallah	On the Interpretation of Infinite Computations in Logic Programming.	ICALP	1984	DBLP DOI BibTeX RDF
16	Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro	Designing Mechanisms for Reliable Internet-based Computing.	NCA	2008	DBLP DOI BibTeX RDF	Distributed Computing, Game Theory, Mechanism Design, Internet-based Computing, Trustworthy Computations
16	Valery G. Yakhno, Meltem Altunkaynak	Symbolic Computation of an Exact Solution of the Cauchy Problem for the System of Crystal Optics with Polynomial Data.	NAA	2008	DBLP DOI BibTeX RDF	system of crystal optics, symbolic computations, Analytical method, initial value problem, polynomial solutions
16	Ling Zhuo, Viktor K. Prasanna	Scalable and Modular Algorithms for Floating-Point Matrix Multiplication on Reconfigurable Computing Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	computations on matrices, field-programmable gate arrays, parallel algorithms, Scientific computing, reconfigurable hardware
16	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah 0001, Mohamed Jmaiel	A Distributed Computational Model for Mobile Agents.	PRIMA	2007	DBLP DOI BibTeX RDF	distributed algorithms, mobile agent, computations model, transition systems
16	Przemyslaw Baranowski, Dariusz Ucinski	A Parallel Sensor Selection Technique for Identification of Distributed Parameter Systems Subject to Correlated Observations.	PPAM	2007	DBLP DOI BibTeX RDF	parallel computations, parameter estimation, GRASP, Distributed parameter systems
16	Maciej Paszynski, Anna Paszynska	Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method.	PPAM	2007	DBLP DOI BibTeX RDF	CP-graph grammar, Parallel computations, Finite Element Method, graph transformations, hp adaptivity
16	Konstantinos Chalkias, Dimitrios Hristu-Varsakelis, George Stephanides	Improved Anonymous Timed-Release Encryption.	ESORICS	2007	DBLP DOI BibTeX RDF	pre-computations, multiple receivers, bilinear pairings, timed-release encryption
16	Brahim Hamid, Mohamed Mosbah 0001	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
16	Sinésio Pesco, Peter Lindstrom 0001, Valerio Pascucci, Cláudio T. Silva	Implicit Occluders.	VolVis	2004	DBLP DOI BibTeX RDF	visibility computations, graphics hardware algorithms, computational geometry, volume visualization, isosurfaces, marching cubes, occlusion culling
16	Marian Bubak, Kamil Górka, Tomasz Gubala, Maciej Malawski, Katarzyna Zajac 0001	Component-Based System for Grid Application Workflow Composition.	PVM/MPI	2003	DBLP DOI BibTeX RDF	Grid computations, OGSA, CCA, workflow composition
16	Maurice H. ter Beek, Jetty Kleijn	Team Automata Satisfying Compositionality.	FME	2003	DBLP DOI BibTeX RDF	team automata, synchronizations, computations, compositionality, behaviour, shuffles
16	Sebastian Gerlach, Roger D. Hersch	DPS - Dynamic Parallel Schedules.	HIPS	2003	DBLP DOI BibTeX RDF	split-merge constructs, overlapping of computations and communications, Parallel computation, flow graphs, parallel schedules
16	Alexander Kleymenov, Alexander Semenov	Using a Cooperative Solving Approach to Global Optimization Problems.	COCOS	2003	DBLP DOI BibTeX RDF	cooperative solvers, interval mathematics, interval constraint programming, distributive computations, global optimizations
16	Marian Bubak, Kamil Górka, Tomasz Gubala, Maciej Malawski, Katarzyna Zajac 0001	Automatic Flow Building for Component Grid Applications.	PPAM	2003	DBLP DOI BibTeX RDF	Grid computations, OGSA, CCA, workflow composition
16	Amy L. Murphy, Gruia-Catalin Roman, George Varghese	Tracking Mobile Units for Dependable Message Delivery.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	mobile computing, diffusing computations, message delivery
16	Det Buaklee, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright 0001	Near-optimal adaptive control of a large grid application.	ICS	2002	DBLP DOI BibTeX RDF	parallel application performance, parallel algorithms, grid computing, stochastic optimization, adaptive computations
16	Andrew Hunter	Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation.	AISC	2002	DBLP DOI BibTeX RDF	Topic. Symbolic Computations for Expert Systems and Machine Learning, Classification, Genetic Programming, Symbolic Regression, ROC Curves, Multiobjective Optimisation
16	Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki	Inductive Synthesis of Functional Programs.	AISC	2002	DBLP DOI BibTeX RDF	Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding
16	Hee Yong Youn, Choong Gun Oh, Hyunseung Choo, Jin-Wook Chung, Dongman Lee	An Efficient Algorithm-Based Fault Tolerance Design Using the Weighted Data-Check Relationship.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Hamming correcting code, VLSI processor array, Algorithm-based fault tolerance, overflow, matrix computations, round-off error
16	Satyam Tyagi, Paul Tarau, Armin R. Mikler	Multicast Protocols for Jinni Agents.	IICS	2001	DBLP DOI BibTeX RDF	Blackboard based Coordination, Networking Software Infrastructure, Java3D based Shared Virtual Reality, IP Transparent Communication, Mobile Computations, Multicast, Logic Programming, Intelligent Mobile Agents
16	R. Baker Kearfott, G. William Walster	On stopping criteria in verified nonlinear systems or optimization algorithms.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	GlobSol, verified computations, stopping criteria
16	Ming-Der Shieh, Hsin-Fu Lo, Ming-Hwa Sheu	High-speed generation of LFSR signatures.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	high-speed generation, LFSR signatures, compaction simulation, single-input signature register, equivalent multiple-input implementation, finite field theory, high-speed signature computations, lookahead technique, internal-XOR LFSR, external-XOR LFSR, performance evaluation, logic testing, built-in self test, integrated circuit testing, automatic test pattern generation, BIST, linear feedback shift register, binary sequences, subsequences
16	Janusz R. Getta	Query Scrambling in Distributed Multidatabase Systems.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	query scrambling, distributed multidatabase systems, data integration algorithm, extended reduction technique, query processing, wide-area networks, dynamic optimization, concurrent computations, efficient query processing
16	Jérôme Galtier, Stéphane Lanteri	On Overlapping Partitions.	ICPP	2000	DBLP DOI BibTeX RDF	Parallel CFD computations, Overlapping domain decomposition, Load-balancing, Numerical software, Mesh partitioning
16	Paul Tarau, Verónica Dahl	Towards a Logic Programming Infrastructure for Internet Programming.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
16	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
16	John Krumm	Object detection with vector quantized binary features.	CVPR	1997	DBLP DOI BibTeX RDF	vector quantized binary features, representational efficiency, eigenimage methods, square subtemplates, background clutter, real-valued eigenvector principle components, binary vector quantization, geometric hash table, computer vision, computer vision, object detection, Hough transform, receiver operating characteristic, partial occlusions, floating point computations, illumination changes
16	John R. Pilkington, Scott B. Baden	Dynamic Partitioning of Non-Uniform Structured Workloads with Spacefilling Curves.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	spacefilling curve, non-uniform computations, irregular data partitioning, performance, Dynamic load balancing, distributed memory parallel computers, particle methods
16	Cheng-Zhong Xu 0001, Francis C. M. Lau 0001	Efficient Termination Detection for Loosely Synchronous Applications in Multicomputers.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	synchronous computations, distributed algorithms, interconnection networks, multicomputers, Data parallelism, termination detection, parallel and distributed systems
16	George A. Papadopoulos, Farhad Arbab	Coordination of Systems with Real-Time Properties in Manifold.	COMPSAC	1996	DBLP DOI BibTeX RDF	real-time system coordination, asynchronous timed computations, real-time coordination, MANIFOLD coordination language, bounded response time, timed asynchronous computational models, concurrent constraint languages, complex software system building, complex hardware system building, distributed multimedia application development, real-time systems, timing, software reusability, reusability, parallel languages, multimedia computing, coordination models
16	Mounir Hamdi, Yi Pan 0001	Communication-efficient algorithms on reconfigurable array of processors with spanning optical buses.	ISPAN	1996	DBLP DOI BibTeX RDF	reconfigurable array of processors, spanning optical buses, optical signal transmissions, RASOB, semi-group computations, parallel algorithms, parallel architectures, reconfiguration, reconfigurable architectures, optical interconnections, Gaussian eliminations
16	Michele Di Santo, Franco Frattolillo, Giulio Iannello	Experiences in dynamic placement of actors on multicomputer systems.	PDP	1995	DBLP DOI BibTeX RDF	dynamic actor placement, multicomputer architectures, highly dynamic computations, ASK run-time kernel, parallel actor programming, random allocation algorithm, Adaptive Contracting Within Neighbourhood, ACWN, balancer behavior, parallel programming, object-oriented programming, resource allocation, parallel machines, distributed memory systems, dynamic load balancer, operating system kernels, low cost, multicomputer systems, programming tools, transputer network
16	Duncan J. Batey, Julian A. Padget	Coordinating heterogeneous parallelism.	PDP	1995	DBLP DOI BibTeX RDF	heterogeneous parallelism coordination, client-server based programming environment, massively parallel symbolic computing, programming environments, client-server systems, network operating systems, symbol manipulation, distributed parallel computations
16	Michael J. Schulte, Earl E. Swartzlander Jr.	Hardware Design and Arithmetic Algorithms for a Variable-Precision, Interval Arithmetic Coprocessor.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	arithmetic algorithms, computer arithmetic, hardware, Interval arithmetic, precision, coprocessor, numerical computations
16	Lawrence Rauchwerger, David A. Padua	Parallelizing while loops for multiprocessor systems.	IPPS	1995	DBLP DOI BibTeX RDF	parallelizing while loops, do loops, conditional exits, sequential constructs, data dependence relations, sparse matrix packages, multiprocessing systems, multiprocessor systems, program compilers, parallelizing compilers, parallelising compilers, linked lists, iteration space, sparse matrix computations
16	Abdel-Fattah Yousif, Jun Gu	Concurrent automatic test pattern generation algorithm for combinational circuits.	ICCD	1995	DBLP DOI BibTeX RDF	concurrent automatic test pattern generation algorithm, global computations techniques, concurrent search, ISCAS'85, ISCAS'89 benchmarks, computational complexity, logic testing, NP-hard, combinational circuits, combinational circuits, automatic testing
16	Robert Hood, Doreen Cheng	Accommodating heterogeneity in a debugger-a client-server approach.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client portability, debugger core, client-server protocol, heterogeneous debugging, user interfaces, user interface, distributed computations, specification, program debugging, client-server systems, investment, investment
16	B. Bayerdorffer	Broadcast Time Warp.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation
16	Michael J. Schulte, Earl E. Swartzlander Jr.	A Processor for Staggered Interval Arithmetic.	ASAP	1995	DBLP DOI BibTeX RDF	computer arithmetic, hardware, processor, Interval arithmetic, precision, application specific, numerical computations
16	Arash Baratloo, Partha Dasgupta, Zvi M. Kedem	CALYPSO: A Novel Software System for Fault-Tolerant Parallel Processing on Distributed Platforms.	HPDC	1995	DBLP DOI BibTeX RDF	CALYPSO, fault-tolerant parallel processing, distributed platforms, multiuser networks, prototype software system, COTS networked workstations operating systems, shared memory constructs, coarse-grained computations, process failures, parallel processing, parallel programming, parallel programs, compilers, fault tolerant computing, program compilers, dynamic load balancing, network operating systems, software system, resource availability
16	George Karypis, Vipin Kumar 0001	Unstructured Tree Search on SIMD Parallel Computers.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	unstructured tree search, SIMD parallelcomputers, unstructured tree computations, large-scale SIMD machines, triggering mechanism, search spaceredistribution, load-balancing methods, load-balancing schemes, 15-puzzle problem, CM-2 SIMD parallel computer, performance evaluation, scalability, load balancing, resource allocation, parallel machines, trees (mathematics), search problems, tree search, SIMD machine, MIMD architectures, parallelarchitectures
16	Abdou Youssef	A Parallel Algorithm for Random Walk Construction with Application to the Monte Carlo Solution of Partial Differential Equations.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	random walk construction, Monte Carlo solution, irregular boundaries, randomly selected direction, parallel prefix computations, parallel algorithm, parallel algorithms, hypercube, hypercube networks, partial differential equations, partial differential equations, Monte Carlo methods, discontinuities, communication structure
16	Yannis E. Ioannidis, Raghu Ramakrishnan 0001, Linda Winger	Transitive Closure Algorithms Based on Graph Traversal.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	node reachability, transitive closure, depth-first search, path computations
16	Mohan L. Chaudhry, U. C. Gupta 0001, Manju Agarwal	Exact and approximate numerical solutions to steady-state single-server queues: M/G/1 - a unified approach.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	approximations, Computations, queueing, roots
15	Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard	Quality of service profiling.	ICSE (1)	2010	DBLP DOI BibTeX RDF	loop perforation, quality of service, profiling
15	Gianluca Amato, Francesca Scozzari	Observational Completeness on Abstract Interpretation.	WoLLIC	2009	DBLP DOI BibTeX RDF
15	Yoram Moses	Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle.	DISC	2009	DBLP DOI BibTeX RDF	Simultaneous Consensus, general omissions failure model, simultaneous action, NP Oracles, synchronous systems, common knowledge
15	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
15	Naohiro Ishii, Takahiro Yamada, Yongguang Bao	Text Classification by Relearning and Ensemble Computation.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF	Relearning, Ensemble Computation, Text Classification, kNN
15	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
15	Sangsoo Sung, Seokkyung Chung, Dennis McLeod	Efficient concept clustering for ontology learning using an event life cycle on the web.	SAC	2008	DBLP DOI BibTeX RDF	concept clustering, similarity measures, ontology learning
15	Gerhard Navratil, Farid Karimipour, Andrew U. Frank	Lifting Imprecise Values.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	imprecise values, error propagation, lifting
15	Naohiro Ishii, Takahiro Yamada, Yongguang Bao	Improved Accuracy by Relearning and Combining Distance Functions.	KES (2)	2008	DBLP DOI BibTeX RDF	distance functions for classification, relearning, ensemble computation, text classification
15	Naohiro Ishii, Takahiro Yamada, Yongguang Bao, Hidekazu Tanaka	Rough Set Based Learning for Classification.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
15	Milind Kulkarni 0001, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew	Optimistic parallelism benefits from data partitioning.	ASPLOS	2008	DBLP DOI BibTeX RDF	lock coarsening, over-decomposition, locality, data partitioning, optimistic parallelism, irregular programs
15	Radhika Gowaikar, Babak Hassibi	Statistical Pruning for Near-Maximum Likelihood Decoding.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
15	Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes	On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.	ICLP	2007	DBLP DOI BibTeX RDF
15	Sungwoo Park	Type-safe higher-order channels in ML-like languages.	ICFP	2007	DBLP DOI BibTeX RDF	channel locality, distributed languages, higher-order channels, parallel languages
15	Rasul Mohammadi, Shahin Hashtrudi-Zad	A recursive algorithm for diagnosis in hierarchical finite-state machines.	SMC	2007	DBLP DOI BibTeX RDF
15	Alain Girault, Xavier Nicollin, Marc Pouzet	Automatic rate desynchronization of embedded reactive programs.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Embedded programs, long-duration tasks, parallelization algorithm, reactive systems, desynchronization, automatic distribution
15	Ebaa Fayyoumi, B. John Oommen	On Optimizing the k-Ward Micro-aggregation Technique for Secure Statistical Databases.	ACISP	2006	DBLP DOI BibTeX RDF