Search results for "computational power"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Orly Kremien	Buying and selling computational power over the network.	ICCCN	1995	DBLP DOI BibTeX RDF	computational power selling, computational power buying, supercomputer speeds, high data rate applications, high-bandwidth communications, extended adaptive partitioning algorithm, mutual interest, client selection, scalability, network, multiprocessing systems, processors, workstations, data-intensive applications, server selection
2	Shantanu Das, Paola Flocchini, Nicola Santoro, Masafumi Yamashita	On the computational power of oblivious robots: forming a series of geometric patterns.	PODC	2010	DBLP DOI BibTeX RDF	distributed coordination
2	Jon Sneyers, Tom Schrijvers, Bart Demoen	The computational power and complexity of constraint handling rules.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	constant factors, complexity, Constraint Handling Rules
2	Gadi Taubenfeld	On the Computational Power of Shared Objects.	OPODIS	2009	DBLP DOI BibTeX RDF	power numbers, k-obstruction-freedom, wait-free hierarchy, power hierarchy, universality, Shared objects, wait-freedom, consensus numbers
2	Damien Woods, J. Paul Gibson	Lower bounds on the computational power of an optical model of computation.	Natural Computing	2008	DBLP DOI BibTeX RDF
2	Luca Cardelli, Gianluigi Zavattaro	On the Computational Power of Biochemistry.	AB	2008	DBLP DOI BibTeX RDF
2	Shankara Narayanan Krishna, Gabriel Ciobanu	On the Computational Power of Enhanced Mobile Membranes.	CiE	2008	DBLP DOI BibTeX RDF
2	Nadia Busi, Claudio Zandron	On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.	FCT	2007	DBLP DOI BibTeX RDF
2	Alberto Leporati	(UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
2	Shankara Narayanan Krishna	On the Computational Power of Flip-Flop Proteins on Membranes.	CiE	2007	DBLP DOI BibTeX RDF	Universality, Membrane Computing, Register Machines
2	Matthias Krause	On the computational power of Boolean decision lists.	Computational Complexity	2006	DBLP DOI BibTeX RDF	94C05, Subject classification. 68Q15, 06E30, 94C10
2	Alexei Lisitsa, Igor Potapov	In time alone: on the computational power of querying the history.	TIME	2006	DBLP DOI BibTeX RDF	history-dependent computations, executable temporal logic, universality, models of computations
2	Serge Haddad, Laura Recalde, Manuel Silva	On the Computational Power of Timed Differentiable Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF
2	Ramez M. Daoud, Hassanein H. Amer	Optimum Supervisor Computational Power for Small Scale in-Line Production Networked Control Machines.	CCECE	2006	DBLP DOI BibTeX RDF
2	Jesús Téllez Isaac, José Sierra Camara, Antonio Izquierdo Manzanares, Mildrey Carbonell Castro	Payment in a Kiosk Centric Model with Mobile and Low Computational Power Devices.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Shankara Narayanan Krishna	Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes.	CiE	2006	DBLP DOI BibTeX RDF
2	Damien Woods, J. Paul Gibson	Lower Bounds on the Computational Power of an Optical Model of Computation.	UC	2005	DBLP DOI BibTeX RDF
2	Damien Woods	Upper Bounds on the Computational Power of an Optical Model of Computation.	ISAAC	2005	DBLP DOI BibTeX RDF
2	Dong Xiang, Jia-Guang Sun, Jie Wu, Krishnaiyan Thulasiraman	Fault-Tolerant Routing in Meshes/Tori Using Planarly Constructed Fault Blocks.	ICPP	2005	DBLP DOI BibTeX RDF	extended local safety, unsafe systems, mesh/torus, fault-tolerant routing, Computational power
2	Gordon J. Brebner	Programmable Logic Has More Computational Power than Fixed Logic.	FPL	2004	DBLP DOI BibTeX RDF
2	Yong-Hwan Lee, Il-Sun You, Sang-Burm Rhee	Improving CAM-DH Protocol for Mobile Nodes with Constraint Computational Power.	KES	2004	DBLP DOI BibTeX RDF
2	Tyng-Yeu Liang, Yen-Tso Liu, Ce-Kuen Shieh, Chun-Yi Wu	A New Approach to Distribute Program Workload on Software DSM Clusters.	ISPAN	2004	DBLP DOI BibTeX RDF	memory capabilities, distributed shared memory, computational power, workload distribution
2	Petr Sosík	The computational power of cell division in P systems: Beating down parallel computers?	Natural Computing	2003	DBLP DOI BibTeX RDF	Second Machine Class, membrane computing, P system
2	Erzsébet Csuhaj-Varjú, Victor Mitrana, György Vaszil	Distributed Pushdown Automata Systems: Computational Power.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
2	Matthias Krause	On the Computational Power of Boolean Decision Lists.	STACS	2002	DBLP DOI BibTeX RDF	Boolean Complexity Theory, Lower Bounds, Learnability
2	Wolfgang Maass	On the Computational Power of Neural Microcircuit Models: Pointers to the Literature.	ICANN	2002	DBLP DOI BibTeX RDF
2	Thomas J. Naughton, Damien Woods	On the Computational Power of a Continuous-Space Optical Model of Computation.	MCU	2001	DBLP DOI BibTeX RDF
2	Farid M. Ablayev, Aida Gainutdinova, Marek Karpinski	On Computational Power of Quantum Branching Programs.	FCT	2001	DBLP DOI BibTeX RDF
2	Carlos Aguirre, J. Martínez-Muñoz, Fernando J. Corbacho, Ramón Huerta	Small-World Topology for Multi-Agent Collaboration. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	small-world topology, signal-propagation speed computational power, synchronizability, multi-agent systems, agent collaboration, multi-agent collaboration
2	Stefan Müller-Wilken, Frank Wienberg, Winfried Lamersdorf	On Integrating Mobile Devices into a Workflow Management Scenario. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	mobile device integration, workflow management scenario, stationary information sources, backoffice database, design limitations, mobile system integration, Java Border Service Architecture, mobile computing, mobile device, mobile system, system software, computational power, application environment
2	Olivier Bournez	Some Bounds on the Computational Power of Piecewise Constant Derivative Systems.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
2	Jirí Wiedermann	Computational Power of Neuroidal Nets.	SOFSEM	1999	DBLP DOI BibTeX RDF
2	Sorin Draghici	On the Computational Power of Limited Precision Weights Neutral Networks in Classification Problems: How to Calculate the Weight Range so that a Solution Will Exist.	IWANN	1999	DBLP DOI BibTeX RDF
2	Olivier Bournez	Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
2	M. Cermele, Michele Colajanni, G. Necci	Dynamic load balancing of distributed SPMD computations with explicit message-passing.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	distributed SPMD computations, explicit message-passing, shared heterogeneous components, variable computational power, load status, workload adaption, dynamic platform conditions, linear algebra problems, partial differential equation solvers, activation mechanisms, load monitoring techniques, program consistency, PVM library, parallel computations, resource allocation, data management, dynamic load balancing, data migration, Single Program Multiple Data, task migration, image processing algorithms, decision policies
2	Ian T. Foster, Steven Tuecke	Enabling Technologies for Web-Based Ubiquitious Supercomputing. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	Web based ubiquitous supercomputing, mid range computing systems, advanced networks, remote high end computers, local environments, smart instruments, dynamic communication structures, global pointer, remote service request mechanisms, Nexus, transportable code, NexusJava library, Java, Internet, parallel programming, data structures, parallel machines, network operating systems, collaborative environments, program control structures, computational power, Java programming language, enabling technologies, communication library
2	Liangkung Lin, G. Robert Redinbo	Efficient fault protection of block gradient-based adaptive filters. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	fault protection, block gradient-based adaptive filters, block processing techniques, sequential implementations, finite word length, fault-tolerant techniques, block adaptive filtering algorithms, fine-grained approach, computational complexity, complexity, fault tolerant computing, signal processing, encoding, adaptive filters, FIR filters, FIR filters, computational power, checksums, encoding scheme, digital signal processing applications
2	Klaus E. Schauser, Chris J. Scheiman, J. Mitchell Ferguson, Paul Z. Kolano	Exploiting the Capabilities of Communications Co-Processors. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF	inter-computer links, communications coprocessor architecture, dedicated hardware support, user-level message handlers, Split-C, message handling code, Meiko CS-2 platform, synchronization, parallel architectures, local area networks, synchronisation, flexibility, coprocessors, computational power, massively parallel processors, workstation networks, active messages, electronic messaging
2	Hava T. Siegelmann	On The Computational Power of Probabilistic and Faulty Neural Networks.	ICALP	1994	DBLP DOI BibTeX RDF
2	Alfredo De Santis, Tatsuaki Okamoto, Giuseppe Persiano	Zero-Knowledge Proofs of Computational Power in the Shared String Model.	ASIACRYPT	1994	DBLP DOI BibTeX RDF
2	Michel Barbeau, Gregor von Bochmann	A Subset of Lotos with the Computational Power of Place/Transition-Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
2	Tatsuaki Okamoto, David Chaum, Kazuo Ohta	Direct Zero Knowledge Proofs of Computational Power in Five Rounds.	EUROCRYPT	1991	DBLP DOI BibTeX RDF
2	Wolfgang Maass, Georg Schnitger, Eduardo D. Sontag	On the Computational Power of Sigmoid versus Boolean Threshold Circuits	FOCS	1991	DBLP DOI BibTeX RDF	polynomially bounded weights, sigmoid threshold gates, smooth threshold gates, depth 2 circuits, Boolean threshold circuits, constant size circuits, Boolean threshold gates, polynomial size sigmoid threshold circuits, Boolean functions, computational power, constant depth circuits
2	Christoph Meinel	Restricted Branching Programs and Their Computational Power.	MFCS	1990	DBLP DOI BibTeX RDF
2	Moti Yung	Zero-Knowledge Proofs of Computational Power (Extended Summary).	EUROCRYPT	1989	DBLP DOI BibTeX RDF
2	Donald A. Varvel, Leonard D. Shapiro	The Computational Completeness of Extended Database Query Languages.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	computational completeness, extended database query languages, POSTGRES, GENESIS, Turing machine interpreter, traditional database languages, programming language, database management systems, query languages, computational power
1	Oron Shagrir	Supertasks do not increase computational power.	Natural Computing	2012	DBLP DOI BibTeX RDF
1	Bo Chen, Wenjia Liu	A high computational power wireless sensor network for distributed structural health monitoring.	IJSNet	2012	DBLP DOI BibTeX RDF
1	Stefan Wintein	Assertoric Semantics and the Computational Power of Self-Referential Truth.	J. Philosophical Logic	2012	DBLP DOI BibTeX RDF
1	Jérémie Cabessa, Hava T. Siegelmann	The Computational Power of Interactive Recurrent Neural Networks.	Neural Computation	2012	DBLP DOI BibTeX RDF
1	Niall Murphy, Damien Woods	The computational power of membrane systems under tight uniformity conditions.	Natural Computing	2011	DBLP DOI BibTeX RDF
1	Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan	Computational power of insertion-deletion (P) systems with rules of size two.	Natural Computing	2011	DBLP DOI BibTeX RDF
1	Pavol Duris	On Computational Power of Partially Blind Automata.	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	David Soloveichik, Erik Winfree	Erratum to "The computational power of Benenson automata" [Theoret. Comput. Sci. 344 (2005) 279-297]	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Simon Perdrix	Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality.	IJUC	2011	DBLP BibTeX RDF
1	Eric Allender, Luke Friedman, William I. Gasarch	Limits on the Computational Power of Random Strings.	ICALP	2011	DBLP DOI BibTeX RDF
1	Damian Sulewski, Stefan Edelkamp, Peter Kissmann	Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.	ICAPS	2011	DBLP BibTeX RDF
1	Olivier Gasquet, François Schwarzentruber, Martin Strecker	Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.	TICTTL	2011	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis	The Computational Power of Simple Protocols for Self-awareness on Graphs.	SSS	2011	DBLP DOI BibTeX RDF
1	Eric Allender, Luke Friedman, William I. Gasarch	Limits on the Computational Power of Random Strings.	Electronic Colloquium on Computational Complexity (ECCC)	2010	DBLP BibTeX RDF
1	Alessandro Romanel, Corrado Priami	On the computational power of BlenX.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Juhani Karhumäki, Michal Kunc, Alexander Okhotin	Computational power of two stacks with restricted communication.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Farid M. Ablayev, Alexander Vasiliev	On Computational Power of Quantum Read-Once Branching Programs	HPC	2010	DBLP DOI BibTeX RDF
1	Richard Neill, Alexander Shabarshin, Luca P. Carloni	A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	multiple service operators, multiple sequence alignment, distributed embedded systems, mpi, set-top box
1	Vignesh T. Ravi, Wenjing Ma, David Chiu, Gagan Agrawal	Compiler and runtime support for enabling generalized reduction computations on heterogeneous parallel configurations.	ICS	2010	DBLP DOI BibTeX RDF	dynamic work distribution, generalized reductions, multi-cores, GPGPU, heterogeneous systems
1	Hailun Tan, Wen Hu, Sanjay Jha	A hardware-based remote attestation protocol in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	wireless sensor networks, trusted platform module, remote attestation
1	Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten	On utilizing speed in networks of mobile agents.	PODC	2010	DBLP DOI BibTeX RDF	gathering problem, lower/upper bounds, networks of mobile agents, population protocols, cover time
1	Damien Imbs, Michel Raynal	The multiplicative power of consensus numbers.	PODC	2010	DBLP DOI BibTeX RDF	bg simulation, synchronization power, t-resilience, simulation, fault-tolerance, distributed computability, shared memory system, system model, wait-freedom, asynchronous processes, k-set agreement, consensus number, reduction algorithm, process crash failure
1	Christoph Lucas, Dominik Raub, Ueli M. Maurer	Hybrid-secure MPC: trading information-theoretic robustness for computational privacy.	PODC	2010	DBLP DOI BibTeX RDF	hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
1	Zhijing G. Mou, Hai Liu, Paul Hudak	Compress-and-conquer for optimal multicore computing.	DAMP	2010	DBLP DOI BibTeX RDF	compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming
1	Enoch Peserico	Brief announcement: flashcrowding in tiled multiprocessors under thermal constraints.	SPAA	2010	DBLP DOI BibTeX RDF	energy, multicore, tiled, hot spot, thermal
1	Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous	QIP = PSPACE.	STOC	2010	DBLP DOI BibTeX RDF	matrix multiplicative weights update method, quantum interactive proof systems, quantum computation, semidefinite programming
1	Adam R. Day	On the computational power of random strings.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Alexei Lisitsa, Igor Potapov	On the Computational Power of Querying the History.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Alberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri	On the Computational Power of Spiking Neural P Systems.	IJUC	2009	DBLP BibTeX RDF
1	Jacob D. Biamonte	The Computational Power of Minkowski Spacetime	CoRR	2009	DBLP BibTeX RDF
1	Sourabh Rungta, Kshitij Verma, Neeta Tripathi, Anupam Shukla	Enhanced Mode Selection Algorithm for H.264 encoder for Application in Low Computational power devices	CoRR	2009	DBLP BibTeX RDF
1	Liad Blumrosen, Noam Nisan	On the Computational Power of Demand Queries.	SIAM J. Comput.	2009	DBLP DOI BibTeX RDF
1	Douglas Wilson, Dajana Dimovska, Sebbe Selvig, Patrick Jarnfelt	Face-off in the magic circle: getting players to look at each other, not the screen.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	experimental games, game design, gestural interfaces
1	Albert Sidelnik, I-Jui Sung, Wanmin Wu, María Jesús Garzarán, Wen-mei W. Hwu, Klara Nahrstedt, David A. Padua, Sanjay J. Patel	Optimization of tele-immersion codes.	GPGPU	2009	DBLP DOI BibTeX RDF	tele-immersion codes, program optimization
1	Asaf Shiloni, Noa Agmon, Gal A. Kaminka	Of robot ants and elephants.	AAMAS	2009	DBLP DOI BibTeX RDF	ant robotics, computational models, multi-robot systems
1	Yong Dou, Fei Xia, Jingfei Jiang	Fine-grained parallel application specific computing for RNA secondary structure prediction using SCFGS on FPGA.	CASES	2009	DBLP DOI BibTeX RDF	SCFGS, reconfigurable algorithm accelerator, secondary structure prediction, FPGA, RNA
1	Changshe Ma, Yingjiu Li, Robert H. Deng, Tieyan Li	RFID privacy: relation between two notions, minimal condition, and efficient construction.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	privacy, rfid, pseudorandom function
1	David Szczesny, Sebastian Hessel, Felix Bruns, Attila Bilgic	On-the-fly hardware acceleration for protocol stack processing in next generation mobile devices.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	embedded systems, real-time, hardware acceleration, virtual prototyping, hardware/software co-design, LTE, DMA
1	Peter-Pike J. Sloan	Lighting in games: past, present and future.	FDG	2009	DBLP DOI BibTeX RDF
1	Wolfgang Banzhaf, Simon Harding	Accelerating evolutionary computation with graphics processing units.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	GPGPGPU, genetic programming, evolutionary computation, GPU, graphics processing units, GPGPU
1	Gabriel Falcão Paiva Fernandes, Vítor Manuel Mendes da Silva, Leonel Sousa	How GPUs can outperform ASICs for fast LDPC decoding.	ICS	2009	DBLP DOI BibTeX RDF	memory coalescence, parallel processing, graphics processing units, multithreading, low-density parity-check codes
1	Edgar J. Lobaton, Parvez Ahammad, Shankar Sastry	Algebraic approach to recovering topological information in distributed camera networks.	IPSN	2009	DBLP DOI BibTeX RDF
1	Vijay Nagarajan, Rajiv Gupta	ECMon: exposing cache events for monitoring.	ISCA	2009	DBLP DOI BibTeX RDF	cache events, recording for replay, speculation past barriers
1	Stefan Kraxberger, Udo Payer	Security concept for peer-to-peer systems.	IWCMC	2009	DBLP DOI BibTeX RDF	security concept, distributed systems, peer-to-peer, peer-to-peer systems
1	Yinsheng Zhou, Zhonghua Li, Dillion Tan, Graham Percival, Ye Wang	MOGFUN: musical mObile group for FUN.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	community music making, new music instruments, mobile devices
1	Bhed Bahadur Bista	Energy efficient layered sensor networks with multihop polling.	MoMM	2009	DBLP DOI BibTeX RDF	sensor network, aggregation, polling, algorithm performance
1	Raja Azlina Raja Mahmood, Anang Hudaya Muhamad Amin, Amiza Amir, Asad I. Khan	Lightweight and distributed attack detection scheme in mobile ad hoc networks.	MoMM	2009	DBLP DOI BibTeX RDF	low computation and distributed attack detection scheme, mobile ad hoc networks, intrusion detection system
1	Cy P. Chan, Jason Ansel, Yee Lok Wong, Saman P. Amarasinghe, Alan Edelman	Autotuning multigrid with PetaBricks.	SC	2009	DBLP DOI BibTeX RDF
1	Leif Azzopardi, Wim Vanderbauwhede, Mahmoud Moadeli	Developing energy efficient filtering systems.	SIGIR	2009	DBLP DOI BibTeX RDF	FPGA, efficiency, filtering
1	Feodor Kulishov	DFA-based and SIMD NFA-based regular expression matching on cell BE for fast network traffic filtering.	SIN	2009	DBLP DOI BibTeX RDF	network security, SIMD, regular expressions, cell broadband engine, DFA, NFA
1	Ashutosh Saxena	An efficient and secure protocol for DTV broadcasts.	SIN	2009	DBLP DOI BibTeX RDF	authenticaion, settop box, bilinear pairing
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	On the expressiveness and complexity of randomization in finite state monitors.	J. ACM	2009	DBLP DOI BibTeX RDF	topology, randomization, runtime verification, probabilistic automata, Omega automata
1	Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu	Ground Truth Verification Tool (GTVT) for Video Surveillance Systems.	ACHI	2009	DBLP DOI BibTeX RDF
1	Ivona Brandic	Towards Self-Manageable Cloud Services.	COMPSAC	2009	DBLP DOI BibTeX RDF