Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	George A. Gravvanis, Konstantinos M. Giannoutakis	Parallel Approximate Finite Element Inverse Preconditioning on Distributed Systems.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	normalized approximate factorization procedures, normalized approximate finite element inverse matrix techniques, parallel conjugate gradient method, parallel computations, distributed computations, Finite element, preconditioning
25	Xavier Défago, Akihiko Konagaya	Circle formation for oblivious anonymous mobile robots with no common sense of orientation.	POMC	2002	DBLP DOI BibTeX RDF	anonymous computations, circle formation, cooperative mobile robotics, geometric pattern formation, oblivious computations, distributed algorithms, computational geometry, self-stabilization
25	Albert G. Greenberg, Boris D. Lubachevsky, Isi Mitrani	Superfast Parallel Discrete Event Simulations.	ACM Trans. Model. Comput. Simul.	1996	DBLP DOI BibTeX RDF	fixed-point computations, unbounded parallelism, relaxation, massively parallel computations, recurrences, superlinear speedup
25	David A. Carlson	Modified Mesh-Connected Parallel Computers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	mesh-connected parallel computers, global mesh structures, tree computations, X-tree, parallel processing, sorting, trees (mathematics), interprocessor communication, application programs, pyramid, mesh-of-trees, prefix computations
25	Jon Feldman, S. Muthukrishnan 0001, Anastasios Sidiropoulos, Clifford Stein 0001, Zoya Svitkina	On distributing symmetric streaming computations.	SODA	2008	DBLP BibTeX RDF
25	Kazuhiro Nakamura, Masatoshi Yamamoto, Kazuyoshi Takagi, Naofumi Takagi	Fast and memory efficient VLSI architecture for output probability computations of HMM-based recognition systems.	ISCAS	2008	DBLP DOI BibTeX RDF
25	Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Rosenberg	Applying IC-Scheduling Theory to Familiar Classes of Computations.	IPDPS	2007	DBLP DOI BibTeX RDF
25	Zizhong Chen, Jack J. Dongarra	Algorithm-based checkpoint-free fault tolerance for parallel matrix computations on volatile resources.	IPDPS	2006	DBLP DOI BibTeX RDF
25	Marek Tudruj, Lukasz Masko	Towards Massively Parallel Numerical Computations Based on Dynamic SMP Clusters with Communication on the Fly.	ISPDC	2005	DBLP DOI BibTeX RDF
25	Qing Yi	Applying Data Copy to Improve Memory Performance of General Array Computations.	LCPC	2005	DBLP DOI BibTeX RDF
25	Alberto Leporati, Claudio Zandron, Giancarlo Mauri	Conservative Computations in Energy-Based P Systems.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
25	Rolf Wanka	Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal.	WG	2002	DBLP DOI BibTeX RDF
25	Marcelo Glusman, Shmuel Katz	Extending Memory Consistency of Finite Prefixes to Infinite Computations.	CONCUR	2001	DBLP DOI BibTeX RDF
25	Miodrag Potkonjak, Jan M. Rabaey	Maximally and arbitrarily fast implementation of linear andfeedback linear computations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
25	Ajay D. Kshemkalyani, Mukesh Singhal	Universal Constructs in Distributed Computations.	Euro-Par	1999	DBLP DOI BibTeX RDF
25	Panagiota Fatourou, Paul G. Spirakis	A New Scheduling Algorithm for General Strict Multithreaded Computations.	DISC	1999	DBLP DOI BibTeX RDF
25	Keqin Li 0001, Xian-He Sun	Average-Case Analysis of Isospeed Scalability of Parallel Computations on Multiprocessors.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
25	Kiran Bondalapati, Viktor K. Prasanna	Dynamic Precision Management for Loop Computations on Reconfigurable Architectures.	FCCM	1999	DBLP DOI BibTeX RDF	Reconfigurable Computing, Precision, Loops
25	Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder	Language Support for Pipelining Wavefront Computations.	LCPC	1999	DBLP DOI BibTeX RDF
25	Yanhong A. Liu, Scott D. Stoller	Loop Optimization for Aggregate Array Computations.	ICCL	1998	DBLP DOI BibTeX RDF	asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation
25	Prakash Panangaden, Eugene W. Stark	Computations, Residuals, and the POwer of Indeterminancy.	ICALP	1988	DBLP DOI BibTeX RDF
25	Juraj Hromkovic, Juraj Procházka	Branching Programs as a Tool for Proving Lower Bounds on VLSI Computations and Optimal Algorithms for Systolic Arrays.	MFCS	1988	DBLP DOI BibTeX RDF
25	Gianfranco Mascari, Alfonso Miola	On the Integration of Numeric and Algebraic Computations.	AAECC	1986	DBLP DOI BibTeX RDF
25	Gérard Berry, Jean-Jacques Lévy	Minimal and Optimal Computations of Recursive Programs.	POPL	1977	DBLP DOI BibTeX RDF
24	Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino	Static Analysis of the Accuracy in Control Systems: Principles and Experiments.	FMICS	2007	DBLP DOI BibTeX RDF	Static analysis, control systems, floating-point computations
24	J. A. Rod Blais, D. A. Provins, Muhammad Asif Soofi	Spherical harmonic transforms for discrete multiresolution applications.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	Spherical harmonic transform, Chebychev quadrature, Parallel computations, Spherical harmonics, Multiresolution analysis
24	Nectarios Koziris, George K. Papakonstantinou, Panayotis Tsanakas	Mapping nested loops onto distributed memory multiprocessors.	ICPADS	1997	DBLP DOI BibTeX RDF	Chain grouping, low complexity method, index space partitioning, intercommunication requirements, distributed mesh connected architectures, minimum time displacement, discrete groups, optimal makespan, uniform chain, dependence vector, optimal hyperplane scheduling, intragroup computations, partitioned groups, processor utilisation, optimal hyperplane time schedule, distributed memory systems, communication delays, nested loops, distributed memory multiprocessors, loop iterations, space mapping, hyperplane method
24	Khanh Quoc Nguyen, Yi Mu 0001, Vijay Varadharajan	Secure and Efficient Digital Coins.	ACSAC	1997	DBLP DOI BibTeX RDF	digital coins, electronic cash systems, complex online computations, payment phase, off-line anonymous cash scheme, payment transactions, unconditional client anonymity, double-spending detection, coin forgery, framing attacks, security, efficiency, EFTS
23	Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe	The Data Locality of Work Stealing.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
23	Eli Biham, Vladimir Furman	Improved Impossible Differentials on Twofish.	INDOCRYPT	2000	DBLP DOI BibTeX RDF	Twofish, cryptanalysis, impossible differential
22	Ying Zhang 0012, Gang Huang 0001, Xuanzhe Liu, Hong Mei 0001	Tuning Adaptive Computations for Performance Improvement of Autonomic Middleware in PaaS Cloud.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	Resource Competition, Adaptive Computations
22	Andrzej Skowron, Marcin S. Szczuka	Toward Interactive Computations: A Rough-Granular Approach.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF	vague concept approximation, interaction of granules, rough sets, granular computing, interactive computations
22	Sami J. Habib, Paulvanna Nayaki Marimuthu	Incorporating Imprecise Computations in Scheduling of Aggregated Data within Wireless Sensor Networks.	AINA Workshops	2010	DBLP DOI BibTeX RDF	ASAP, ALAP, scheduling, wireless sensor networks, data aggregation, Imprecise computations
22	M. Daldoul, A. Baccari	An application of matrix computations to classical second-order optimality conditions.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Matrix and polynomial computations, Optimality conditions, Constraint qualifications
22	Günter Hotz	Kolmogorov-Complexity Based on Infinite Computations.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF	monotone Kolmogorov complexity, infinite computations, collectives
22	Marcin Detka, Czeslaw Cichon	Application of R-Functions Method and Parallel Computations to the Solution of 2D Elliptic Boundary Value Problems.	ICCS (1)	2008	DBLP DOI BibTeX RDF	structural solution, parallel computations, R-functions
22	Keiichi Endo, Minoru Kawahara, Yutaka Takahashi 0001	A proposal of encoded computations for distributed massively multiplayer online services.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	distributed massively multiplayer online services, encoded computations, interactive real-time applications, peer-to-peer
22	Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal	Tracking immediate predecessors in distributed computations.	SPAA	2002	DBLP DOI BibTeX RDF	Hasse diagram, causality tracking, immediate predecessor, message-passing, timestamp, vector clock, asynchronous distributed computations
22	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Meenakshi A. Kandaswamy	A Unified Framework for Optimizing Locality, Parallelism, and Communication in Out-of-Core Computations.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	I/O-intensive codes, loop and data transformations, file layouts, optimizing compilers, out-of-core computations
22	Christoph W. Keßler, Craig Smith	The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations.	IWPC	1999	DBLP DOI BibTeX RDF	concept recognition, program comprehension, speculative parallelization, sparse matrix computations
22	Sanjoy K. Baruah, Mary Ellen Hickey	Competitive On-Line Scheduling of Imprecise Computations.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	competitive ratio, imprecise computations, On-line scheduling, uniprocessor systems
22	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
22	Chuchang Liu, Mehmet A. Orgun	Executing specifications of distributed computations with Chronolog(MC).	SAC	1996	DBLP DOI BibTeX RDF	simulation, distributed computations, logic programming, temporal logic, clocks, executable specification
22	Sanjoy K. Baruah, Mary Ellen Hickey	Competitive On-Line Scheduling of Imprecise Computations.	HICSS (1)	1996	DBLP DOI BibTeX RDF	competitive ratio, imprecise computations, on-line scheduling, uniprocessor systems
22	Manuel Ujaldon, Emilio L. Zapata, Barbara M. Chapman, Hans P. Zima	New data-parallel language features for sparse matrix computations.	IPPS	1995	DBLP DOI BibTeX RDF	data-parallel language features, high level data parallel languages, Vienna Fortran, massively parallel distributed memory machines, SPMD paradigm, language functionality, sparse matrix codes, massively parallel machines, parallel programming, distributed memory systems, parallel languages, sparse matrices, sparse matrices, High Performance Fortran, HPF, single program multiple data, sparse matrix computations
22	Bongki Moon, Mustafa Uysal, Joel H. Saltz	Index translation schemes for adaptive computations on distributed memory multicomputers.	IPPS	1995	DBLP DOI BibTeX RDF	index translation schemes, globally indexed algorithms, CHAOS runtime support library, software-cached translation, distributed translation table technique, statically irregular problems, 3D DSMC code, NASA Langley, Gray T3D, performance evaluation, parallel programming, parallel programming, program compilers, distributed memory systems, program interpreters, distributed memory multicomputers, adaptive computations, Intel Paragon, optimal performance
22	Tim Collins, James C. Browne	MaTRiX++: an object-oriented environment for parallel high-performance matrix computations.	HICSS (2)	1995	DBLP DOI BibTeX RDF	MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface
22	Alok N. Choudhary, Bhagirath Narahari, David M. Nicol, Rahul Simha	Optimal Processor Assignment for a Class of Pipelined Computations.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	multitasked parallel architectures, processor assignment problem, series-parallel partial order, parallel analysis, task structure, series-parallel task system, series analysis, computer vision, resource allocation, parallel architectures, data dependencies, pipeline processing, data sets, pipelined computations
22	Mayez A. Al-Mouhamed, Adel Al-Maasarani	Performance Evaluation of Scheduling Precedence-Constained Computations on Message-Passing Systems.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	scheduling precedence-constrained computations, multiprocessor topology, global priority-based schedulingheuristics, generalized list scheduling, backward scheduling, graph-driven scheduling, scheduling, performance evaluation, performance evaluation, computational complexity, multiprocessor, message passing, network topology, time complexity, message-passing systems
22	Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky	Reducibility and Completeness in Multi-Party Private Computations	FOCS	1994	DBLP DOI BibTeX RDF	Oblivious Transfer protocol, multi-party private computations, n-privacy, Boolean functions, completeness, reducibility, black-box, multi-party protocols
22	Robert D. Blumofe	Scheduling Multithreaded Computations by Work Stealing	FOCS	1994	DBLP DOI BibTeX RDF	folk wisdom, multithreaded computations scheduling, dynamic MIMD-style computation, minimum serial execution time, parallel computers, work stealing
22	Mark A. Holliday, Carla Schlatter Ellis	Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	load sequences, memory reference traces, trace-drive simulation, global trace, shared memory multiprocessingenvironment, address change points, address affecting points, process traces, intrinsic trace, address flow graph, store sequences, partial program reexecution, graph-traceable, parallel program, parallel programming, parallel computations, memory management, storage management, memory architecture, path expressions
22	Don Coppersmith, Baruch Schieber	Lower Bounds on the Depth of Monotone Arithmetic Computations (Extended Summary)	FOCS	1992	DBLP DOI BibTeX RDF	monotone arithmetic computations, binary computation tree, alternating 5-3 trees, computational complexity, lower bounds, depth, tight bound, arithmetic expression
22	Bin Qin, Howard A. Sholl, Reda A. Ammar	Micro Time Cost Analysis of Parallel Computations.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	micro time cost analysis, time cost behavior, processing power allocation, execution overhead, computation structure model, TCAS, time cost analysis system, performance evaluation, algorithm, communication, parallel programming, parallel computations, data structure, software tool, software metrics, shared memory, programming theory, input, execution environment, processor speed
22	Scott T. Toborg, Kai Hwang 0001	Cooperative Vision Integration Through Data-Parallel Neural Computations.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	cooperative vision integration, data-parallel neural computations, neural network approach, multiple early vision modules, intensity contours, Hebbian adaptation, single-instruction-multiple-data mode, computer vision, image segmentation, optical flow, computerised picture processing, neural nets, Hopfield neural networks, massively parallel computer, deterministic annealing, function minimization, stereo disparity
22	David M. Nicol, Paul F. Reynolds Jr.	Optimal Dynamic Remapping of Data Parallel Computations.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	optimal dynamic remapping, workload assignment, multiprocessor implementations, adaptive gridding fluid dynamics program, battlefield simulation program, performance evaluation, performance, parallel processing, probabilistic model, physics computing, military computing, data parallel computations
22	Benny Chor, Mihály Geréb-Graus, Eyal Kushilevitz	Private Computations Over the Integers (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	countable domains, private distributed computations, t-private Boolean functions, finite domains
22	S. Rao Kosaraju	Pipelining Computations in a Tree of Processors (Preliminary Version)	FOCS	1989	DBLP DOI BibTeX RDF	tree of processors, lower bound, dictionaries, pipelining computations, sampling technique
22	David M. Nicol, Joel H. Saltz	Dynamic Remapping of Parallel Computations with Varying Resource Demands.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	resource demands, global load remapping, mapping decision heuristic, load evolution, system degradation, scheduling, parallel processing, parallel computations, optimisation, operating systems (computers), heuristic programming, remapping, decision policy
22	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
22	Koji Hashimoto, Yoshitaka Shibata	Media Synchronization Methods for Compressed Audio-Video Streams.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Julián Proenza, José Miró-Julià	MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic Broadcast.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Youhei Timura, Katsuya Tanaka, Makoto Takizawa 0001	Group Communication Protocol in Object-Based Systems.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Christian Maihöfer	Improving Multicast ACK Tree Construction with the Token Repository Service.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas	Flexible Secure Multicasting in Active Networks.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Fumiaki Sato, Kunihiko Minamihata, Hisao Fukuoka, Tadanori Mizuno	A Reliable Multicast Protocol with Total Ordering for Distributed Virtual Environment.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Naokazu Nemoto, Hiroaki Higaki, Katsuya Tanaka, Makoto Takizawa 0001	Pseudo-Active Replication Protocol for Reliable Replica Group.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Kenichi Shimamura, Katsuya Tanaka, Makoto Takizawa 0001	Group Protocol for Exchanging Multimedia Objects in a Group.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
22	Ho-lun T. Wong, Kwan Lawrence Yeung	Packet Caching Policy Design in Active Reliable Multicast.	ICDCS Workshop on Group Communications and Computations	2000	DBLP BibTeX RDF
21	Mikhail J. Atallah, Keith B. Frikken	Securely outsourcing linear algebra computations.	AsiaCCS	2010	DBLP DOI BibTeX RDF	computational outsourcing, privacy, cryptographic protocols
21	Chung-Chih Li	Speed-Up Theorems in Type-2 Computations Using Oracle Turing Machines.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Type-2 computation, Oracle Turing machine, Speed-up theorem
21	Ichiro Hasuo, Bart Jacobs 0001, Tarmo Uustalu	Categorical Views on Computations on Trees (Extended Abstract).	ICALP	2007	DBLP DOI BibTeX RDF
21	In Suk Chong, Antonio Ortega	Power Efficient Motion Estimation using Multiple Imprecise Metric Computations.	ICME	2007	DBLP DOI BibTeX RDF
21	Joanna Karbowska-Chilinska	Estimation of the Average Time of Computations of Probabilistic Algorithms with Continuous Time Parameter.	CISIM	2007	DBLP DOI BibTeX RDF
21	Janusz Borkowski, Marek Tudruj	Parallel Irregular Computations with Dynamic Load Balancing through Global Consistent State Monitoring.	PPAM	2007	DBLP DOI BibTeX RDF
21	Adam Smyk, Marek Tudruj	Optimization of Parallel FDTD Computations Using a Genetic Algorithm.	PPAM	2007	DBLP DOI BibTeX RDF
21	Vasily G. Moshnyaga, Kenji Wakisaka	Reducing computations in MPEG2 video decoder.	ISCAS	2006	DBLP DOI BibTeX RDF
21	Ehsan Atoofian, Amirali Baniasadi	Improving Energy-Efficiency by Bypassing Trivial Computations.	IPDPS	2005	DBLP DOI BibTeX RDF
21	Valentin Gies, Thierry M. Bernard, Alain Mérigot	Convergent micro-pipelines: a versatile operator for mixed asynchronous-synchronous computations.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
21	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Speculative Computations in Or-Parallel Tabled Logic Programs.	ICLP	2004	DBLP DOI BibTeX RDF
21	Alberto Leporati, Claudio Zandron, Giancarlo Mauri	Universal Families of Reversible P Systems.	MCU	2004	DBLP DOI BibTeX RDF
21	Gang George Yin, Cheng-Zhong Xu 0001, Le Yi Wang	Optimal Remapping in Dynamic Bulk Synchronous Computations via a Stochastic Control Approach.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	bulk synchronous computation, Mapping, remapping, optimal stopping, stochastic control
21	R. Baker Kearfott, Markus Neher 0001, Shin'ichi Oishi, Fabien Rico	Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
21	Maáyan Fishelson, Dan Geiger	Optimizing exact genetic linkage computations.	RECOMB	2003	DBLP DOI BibTeX RDF	DAG models, genetic linkage analysis, superlink, bayesian networks, combinatorial optimization, greedy algorithms, probabilistic algorithms, treewidth
21	Adam Smyk, Marek Tudruj	RDMA Communication Based on Rotating Buffers for Efficient Parallel Fine-Grain Computations.	PPAM	2003	DBLP DOI BibTeX RDF
21	Doug Szajda, Barry G. Lawson, Jason Owen	Hardening Functions for Large Scale Distributed Computations.	S&P	2003	DBLP DOI BibTeX RDF	ringers, distributed computation, probabilistic verification
21	George Karypis	Multi-Constraint Mesh Partitioning for Contact/Impact Computations.	SC	2003	DBLP DOI BibTeX RDF
21	Gang George Yin, Cheng-Zhong Xu 0001, Le Yi Wang	Optimal Remapping in Dynamic Bulk Synchronous Computations via a Stochastic Control Approach.	IPDPS	2002	DBLP DOI BibTeX RDF
21	Romuald Duperrier, Nicolas Pichoff, Didier Uriot	CEA Saclay Codes Review for High Intensities Linacs Computations.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
21	Ishwar Parulkar, Sandeep K. Gupta 0001, Melvin A. Breuer	Introducing redundant computations in RTL data paths for reducing BIST resources.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	behavioral synthesis built-in self-test, redundant operations, data flow graphs
21	Jayadev Misra, Harrick M. Vin	Orchestrating Computations on the World-Wide Web.	APSEC	2001	DBLP DOI BibTeX RDF
21	Spyros C. Kontogiannis, Grammati E. Pantziou, Paul G. Spirakis, Moti Yung	Robust Parallel Computations through Randomization.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
21	Ewa Z. Bem, John Rosenberg	An Approach to Implementing Persistent Computations.	POS	2000	DBLP DOI BibTeX RDF	persistent operating system, persistent computation, persistent kernel
21	Keqin Li 0001	Fast and Scalable Parallel Matrix Computations with Optical Buses.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
21	Sean B. House, Douglas Niehaus	KURT-Linux Support for Synchronous Fine-Grain Distributed Computations.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	KURT, KURT-Linux, simulation, real-time, synchronous, synchronization, distributed, Linux
21	Inki Hong, Miodrag Potkonjak, Lisa M. Guerra	Throughput optimization of general non-linear computations.	ICCAD	1999	DBLP DOI BibTeX RDF
21	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations.	IPPS	1996	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, parallelizing compilers, symbolic analysis
21	Andrea Omicini, Antonio Natali	Object-Oriented Computations in Logic Programming.	ECOOP	1994	DBLP DOI BibTeX RDF	Integration of object-oriented and logic paradigms, state configuration, partially configured instances, meta-level constraints, abduction
21	Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman	Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
21	Nils Klarlund	The Limit View of Infinite Computations.	CONCUR	1994	DBLP DOI BibTeX RDF