Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Hidehiro Katou, Feng Wang, Yasuyuki Nogami, Yoshitaka Morikawa	A High-Speed Square Root Algorithm in Extension Fields.	ICISC	2006	DBLP DOI BibTeX RDF
15	Hai Li, Chen-Yong Cher, Kaushik Roy 0001, T. N. Vijaykumar	Combined circuit and architectural level variable supply-voltage scaling for low power.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
15	Thorsten Altenkirch, Jonathan Grattage	A Functional Quantum Programming Language.	LICS	2005	DBLP DOI BibTeX RDF
15	Guangyu Chen, Konrad Malkowski, Mahmut T. Kandemir, Padma Raghavan	Reducing Power with Performance Constraints for Parallel Sparse Applications.	IPDPS	2005	DBLP DOI BibTeX RDF
15	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio 0001	Testing Speculative Work in a Lazy/Eager Parallel Functional Language.	LCPC	2005	DBLP DOI BibTeX RDF
15	Vincent Arsigny, Pierre Fillard, Xavier Pennec, Nicholas Ayache	Fast and Simple Calculus on Tensors in the Log-Euclidean Framework.	MICCAI	2005	DBLP DOI BibTeX RDF
15	N. Peter Drakenberg	A Matrix-Type for Performance-Portability.	PARA	2004	DBLP DOI BibTeX RDF
15	Siu-Wing Cheng, Tamal K. Dey, Edgar A. Ramos, Tathagata Ray	Sampling and meshing a surface with guaranteed topology and geometry.	SCG	2004	DBLP DOI BibTeX RDF	sampling, Voronoi diagram, Delaunay triangulation, surface meshing
15	Maria Hybinette	Just-In-Time Cloning.	PADS	2004	DBLP DOI BibTeX RDF
15	Paolo Tonella	Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	software maintenance, program comprehension, Program slicing, impact analysis, concept analysis
15	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
15	Soheil Ghiasi, Karlene Nguyen, Elaheh Bozorgzadeh, Majid Sarrafzadeh	On computation and resource management in an FPGA-based computation environment.	FPGA	2003	DBLP DOI BibTeX RDF
15	Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker 0001	A Concurrent Logical Framework: The Propositional Fragment.	TYPES	2003	DBLP DOI BibTeX RDF
15	Lujo Bauer, Jarred Ligatti, David Walker 0001	Types and Effects for Non-interfering Program Monitors.	ISSS	2002	DBLP DOI BibTeX RDF
15	Amir Roth, Gurindar S. Sohi	Speculative Data-Driven Multithreading.	HPCA	2001	DBLP DOI BibTeX RDF
15	Sridhar Rajagopal, Joseph R. Cavallaro	On-line Arithmetic for Detection in Digital Communication Receivers.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
15	Martin C. Rinard	Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization
15	Marcelo Glusman, Shmuel Katz	Mechanizing Proofs of Computation Equivalence.	CAV	1999	DBLP DOI BibTeX RDF
15	Michel Wermelinger, José Luiz Fiadeiro	Algebraic Software Architecture Reconfiguration.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
15	Arash Baratloo, Ayal Itzkovitz, Zvi M. Kedem, Yuanyuan Zhao	Mechanisms for Just-in-Time Allocation of Resources to Adaptive Parallel Programs.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
15	Katya O. Gorbunova	Kinetic Model of Parallel Data Processing.	PaCT	1999	DBLP DOI BibTeX RDF
15	Carsten Isert, Davis King 0001, Karsten Schwan, Beth Plale, Greg Eisenhauer	Steering Data Streams in Distributed Computational Laboratories.	HPDC	1999	DBLP DOI BibTeX RDF
15	Todd B. Knoblock, Erik Ruf	Data Specialization.	PLDI	1996	DBLP DOI BibTeX RDF
15	Christian Queinnec	Locality, Causality and Continuations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
15	Baowen Xu	PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
15	Raymond Kurzweil	The Emergence of True Machine Intelligence in the Twenty-First Century (abstract).	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
15	Jordi Carrabina, Ferran Lisa, Narcís Avellana, Conrado J. Pérez Vicente, Elena Valderrama	VLSI Fully Connected Neural Networks for the Implementation of other Topologies.	IWANN	1991	DBLP DOI BibTeX RDF
15	Gian-Luigi Ferrari 0002	On Causality Observed Incrementally, Finally.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
15	Karsten Schwan, Win Bo	"Topologies" - Distributed Objects on Multicomputers.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF
15	Weijia Shang, José A. B. Fortes	On the optimality of linear schedules.	J. VLSI Signal Process.	1989	DBLP DOI BibTeX RDF
15	Rick Bubenik, Willy Zwaenepoel	Performance of Optimistic Make.	SIGMETRICS	1989	DBLP DOI BibTeX RDF	V
15	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
15	Pao-Po Hou, Robert Michael Owens, Mary Jane Irwin	DECOMPOSER: A Synthesizer for Systolic Systems.	DAC	1988	DBLP BibTeX RDF
15	Pierpaolo Degano, Ugo Montanari	A model for distributed systems based on graph rewriting.	J. ACM	1987	DBLP DOI BibTeX RDF
15	Michael C. Green	A parallel implicit Runge-Kutta method for solving ordinary differential equations.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF
15	W. E. Milne, R. R. Reynolds	Stability of a Numerical Solution of Differential Equations.	J. ACM	1959	DBLP DOI BibTeX RDF
13	Robert Strzodka, Mohammed Shaheen 0001, Dawid Pajak, Hans-Peter Seidel	Cache oblivious parallelograms in iterative stencil computations.	ICS	2010	DBLP DOI BibTeX RDF	memory bound, parallelism and locality, temporal blocking, cache oblivious, memory wall, stencil, time skewing
13	Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Chamberlain	Deadlock avoidance for streaming computations with filtering.	SPAA	2010	DBLP DOI BibTeX RDF	architecturally diverse platforms, dataflow, data filtering
13	Ganesh Venkatesh, Jack Sampson, Nathan Goulding, Saturnino Garcia, Vladyslav Bryksin, Jose Lugo-Martinez, Steven Swanson, Michael Bedford Taylor	Conservation cores: reducing the energy of mature computations.	ASPLOS	2010	DBLP DOI BibTeX RDF	conservation core, heterogeneous many-core, utilization wall, patching
13	Christos Kravvaritis, Marilena Mitrouli	Compound matrices: properties, numerical issues and analytical computations.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 15A21, 15A57, 65F40, 15A75, 15A23, 05B20
13	David Monniaux	On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.	CAV	2009	DBLP DOI BibTeX RDF
13	Nikolai Nefedov	Quantum-Like Computations Using Coupled Nano-scale Oscillators.	NanoNet	2009	DBLP DOI BibTeX RDF
13	Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad	Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.	DAMP	2009	DBLP DOI BibTeX RDF	eden, multicore parallelism, haskell, algorithmic skeletons
13	Jason Ansel, Kapil Arya, Gene Cooperman	DMTCP: Transparent checkpointing for cluster computations and the desktop.	IPDPS	2009	DBLP DOI BibTeX RDF
13	Gihan R. Mudalige, Simon D. Hammond, J. A. Smith, Stephen A. Jarvis	Predictive analysis and optimisation of pipelined wavefront computations.	IPDPS	2009	DBLP DOI BibTeX RDF
13	Mourad Ahmane, Laurent Truffet	Numerical Method for Bounds Computations of Discrete-Time Markov Chains with Different State Spaces.	ASMTA	2009	DBLP DOI BibTeX RDF	Gamma-algorithm, comparison, bounds, Discrete-time Markov chains
13	Victor L. Selivanov	Wadge Reducibility and Infinite Computations.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Wadge reducibility, Baire space, Baire domain, ?-language, k-partition, complexity, topology, computability, automaton
13	Chun-Hsi Huang, Akihiko Konagaya, Vincenzo Lanza, Peter M. A. Sloot	Guest Editorial Introduction to the Special Section on BioGrid: Biomedical Computations on the Grid.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
13	David Monniaux	The pitfalls of verifying floating-point computations.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754
13	Julien Bernard 0001, Jean-Louis Roch, Daouda Traoré	Processor-Oblivious Parallel Stream Computations.	PDP	2008	DBLP DOI BibTeX RDF	processor-oblivious parallel stream work-stealing
13	Pierre-Nicolas Clauss, Jens Gustedt, Frédéric Suter	Out-of-Core Wavefront Computations with Reduced Synchronization.	PDP	2008	DBLP DOI BibTeX RDF	Optimized I/O, Out-of-core, Data layout, Wavefront
13	Biagio Cosenza, Gennaro Cordasco, Rosario De Chiara, Ugo Erra, Vittorio Scarano	Load Balancing in Mesh-like Computations using Prediction Binary Trees.	ISPDC	2008	DBLP DOI BibTeX RDF
13	Adam Smyk, Marek Tudruj	Genetic Optimization of Parallel FDTD Computations.	ISPDC	2008	DBLP DOI BibTeX RDF
13	Damianos Chatziantoniou, Katerina Pramatari, Yannis Sotiropoulos	COSTES: Continuous spreadsheet-like computations.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
13	Andreas Jakoby, Maciej Liskiewicz, Aleksander Madry	Susceptible Two-Party Quantum Computations.	ICITS	2008	DBLP DOI BibTeX RDF
13	Janis Voigtländer	Asymptotic Improvement of Computations over Free Monads.	MPC	2008	DBLP DOI BibTeX RDF
13	Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku	Efficient Updates for Continuous Skyline Computations.	DEXA	2008	DBLP DOI BibTeX RDF
13	Michail Zampetakis, Vasilis Samoladas, Apostolos Dollas	A reconfigurable accelerator for quantum computations.	FPL	2008	DBLP DOI BibTeX RDF
13	Gabriela Turcu, Svetlozar Nestorov, Ian T. Foster	Efficient Incremental Maintenance of Derived Relations and BLAST Computations in Bioinformatics Data Warehouses.	DaWaK	2008	DBLP DOI BibTeX RDF
13	Gudula Rünger, Michael Schwind	Cache optimization for mixed regular and irregular computations.	IPDPS	2008	DBLP DOI BibTeX RDF
13	James Demmel, Mark Hoemmen, Marghoob Mohiyuddin, Katherine A. Yelick	Avoiding communication in sparse matrix computations.	IPDPS	2008	DBLP DOI BibTeX RDF
13	Bin Fu, Zhiyu Zhao	Separating Sublinear Time Computations by Approximate Diameter.	COCOA	2008	DBLP DOI BibTeX RDF
13	Michael Garland	Sparse matrix computations on manycore GPU's.	DAC	2008	DBLP DOI BibTeX RDF	parallel programming, GPU computing, shortest path algorithms, data-parallel algorithms, sparse matrix-vector multiplication
13	Adam Meissner	Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language.	SETN	2008	DBLP DOI BibTeX RDF	parallel reasoning, PTTP, the Oz language, first-order logic
13	Ko-An Feng, Chun-Hao Teng, Min-Hung Chen	A Pseudospectral Penalty Scheme for 2D Isotropic Elastic Wave Computations.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Pseudospectral penalty methods, Multidomain schemes, Elastic waves, Velocity-stress formulation
13	Oscar Gustafsson, Mikael Olofsson	Complexity Reduction of Constant Matrix Computations over the Binary Field.	WAIFI	2007	DBLP DOI BibTeX RDF	constant multiplication, low-complexity, binary field, Galois field arithmetic
13	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Global predicate monitoring applied for control of parallel irregular computations.	PDP	2007	DBLP DOI BibTeX RDF
13	Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe	Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications.	LICS	2007	DBLP DOI BibTeX RDF
13	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using a Dial Lock.	TAMC	2007	DBLP DOI BibTeX RDF
13	Shah Asaduzzaman, Muthucumaru Maheswaran	Towards a Decentralized Algorithm for Mapping Network and Computational Resources for Distributed Data-Flow Computations.	HPCS	2007	DBLP DOI BibTeX RDF
13	Stefan Eckhardt, Andreas Michael Mühling, Johannes Nowak	Fast Lowest Common Ancestor Computations in Dags.	ESA	2007	DBLP DOI BibTeX RDF
13	Alexandre M. Bayen, Christian G. Claudel, Patrick Saint-Pierre	Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation.	HSCC	2007	DBLP DOI BibTeX RDF
13	Esam El-Araby, Iván González 0004, Tarek A. El-Ghazawi	Bringing High-Performance Reconfigurable Computing to Exact Computations.	FPL	2007	DBLP DOI BibTeX RDF
13	Plamenka Borovska, Milena Lazarova	Token-based adaptive load balancing for dynamically parallel computations on multicomputer platforms.	CompSysTech	2007	DBLP DOI BibTeX RDF	scalability, parallel programming, parallel computing, distributed load balancing
13	Ling Zhuo, Viktor K. Prasanna	Hardware/Software Co-Design for Matrix Computations on Reconfigurable Computing Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Joonseok Park, Pedro C. Diniz	Partial Data Reuse for Windowing Computations: Performance Modeling for FPGA Implementations.	ARC	2007	DBLP DOI BibTeX RDF	scalar replacement, loop splitting, loop interchange, Field Programmable Gate Arrays (FPGA), Reconfigurable Computing, data reuse
13	Mehmet Belgin, Calvin J. Ribbens, Godmar Back	An operation stacking framework for large ensemble computations.	ICS	2007	DBLP DOI BibTeX RDF	CG, loop unroll and jam, operation stacking, irregular applications, sparse computation, GMRES
13	Anolan Milanés, Noemi de La Rocque Rodriguez, Bruno Schulze	A classification for the implementations of heterogeneous strong migration of computations.	CCGRID	2007	DBLP DOI BibTeX RDF
13	Hasnain A. Mandviwala, Umakishore Ramachandran, Kathleen Knobe	Capsules: Expressing Composable Computations in a Parallel Programming Model.	LCPC	2007	DBLP DOI BibTeX RDF
13	Philippe Mauran, Gérard Padiou, Philippe Quéinnec	Separability to Help Parallel Simulation of Distributed Computations.	OPODIS	2007	DBLP DOI BibTeX RDF	scheduling, causality, separability, parallel discrete event simulation
13	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using the 15 Puzzle.	COCOA	2007	DBLP DOI BibTeX RDF
13	Thierry Gautier, Xavier Besseron, Laurent Pigeon	KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.	PASCO	2007	DBLP DOI BibTeX RDF	cluster, multi-core, data flow, work-stealing, multi-processor
13	Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard	Faster inversion and other black box matrix computations using efficient block projections.	ISSAC	2007	DBLP DOI BibTeX RDF	black box linear algebra, linear system solving, sparse integer matrix, structured integer matrix
13	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Fairness of Actions in System Computations.	Acta Informatica	2006	DBLP DOI BibTeX RDF
13	Marc Dubreuil, Christian Gagné 0001, Marc Parizeau	Analysis of a master-slave architecture for distributed evolutionary computations.	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
13	Robert G. Fuller	Numerical Computations in US Undergraduate Physics Courses.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	computational physics, physics education
13	Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly	Formal Aspects of Correctness and Optimality of Interval Computations.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Interval representations, Optimality, Correctness, Continuity, Interval analysis
13	Maciej Liskiewicz	Multiparty Computations in Non-private Environments.	GTIT-C	2006	DBLP DOI BibTeX RDF
13	Tetsuya Sakurai, Yoshihisa Kodaki, Hiroto Tadano, Hiroaki Umeda, Yuichi Inadomi, Toshio Watanabe, Umpei Nagashima	A Master-Worker Type Eigensolver for Molecular Orbital Computations.	PARA	2006	DBLP DOI BibTeX RDF
13	Martine Ceberio, Vladik Kreinovich, Michel Rueher	Editorial: track reliable computations and their applications.	SAC	2006	DBLP DOI BibTeX RDF
13	Takaaki Mizuki, Taro Otagiri, Hideaki Sone	Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions.	TAMC	2006	DBLP DOI BibTeX RDF
13	Yujun Zheng 0001, Jinyun Xue, Weibo Liu	Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.	TAMC	2006	DBLP DOI BibTeX RDF
13	Shoaib Kamil 0001, Kaushik Datta, Samuel Williams 0001, Leonid Oliker, John Shalf, Katherine A. Yelick	Implicit and explicit optimizations for stencil computations.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
13	Yong-Kab Kim, Do Geun Huh, Kwan-Woong Kim, ChangKug Kim	Optical Sensing, Logic and Computations in Brillouin-Active Fiber Based Neural Network in Smart Structures.	ICIC (1)	2006	DBLP DOI BibTeX RDF
13	Adam Smyk, Marek Tudruj	Parallel FDTD Computations Optimized by Program Macro Data Flow Graph Redeployment.	PARELEC	2006	DBLP DOI BibTeX RDF
13	Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff 0001	Veracity radius: capturing the locality of distributed computations.	PODC	2006	DBLP DOI BibTeX RDF	locality, aggregation
13	Andrei E. Romashchenko	Reliable Computations Based on Locally Decodable Codes.	STACS	2006	DBLP DOI BibTeX RDF
13	Julius Georgiou, Andreas G. Andreou, Philippe O. Pouliquen	A mixed analog/digital asynchronous processor for cortical computations in 3D SOI-CMOS.	ISCAS	2006	DBLP DOI BibTeX RDF
13	Sébastien Kunz-Jacques, David Pointcheval	A New Key Exchange Protocol Based on MQV Assuming Public Computations.	SCN	2006	DBLP DOI BibTeX RDF
13	Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Richard R. Brooks, Ibrahim Kolcu	Secure Execution of Computations in Untrusted Hosts.	Ada-Europe	2006	DBLP DOI BibTeX RDF