Sciweavers

5675 search results - page 195 / 1135
» Exploiting Chaos for Computation
Sort
View
ASPDAC
2009
ACM
152views Hardware» more  ASPDAC 2009»
15 years 11 months ago
A novel Toffoli network synthesis algorithm for reversible logic
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...
Yexin Zheng, Chao Huang
ICAC
2008
IEEE
15 years 11 months ago
Enabling Autonomic Meta-Scheduling in Grid Environments
Grid computing supports workload execution on computing resources that are shared across a set of collaborative organizations. At the core of workload management for Grid computin...
Yanbin Liu, Seyed Masoud Sadjadi, Liana Fong, Ivan...
IGPL
2008
124views more  IGPL 2008»
15 years 4 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli
INFOCOM
2005
IEEE
15 years 10 months ago
Time and energy complexity of distributed computation in wireless sensor networks
— We consider a scenario where a wireless sensor network is formed by randomly deploying n sensors to measure some spatial function over a field, with the objective of computing...
Nilesh Khude, Anurag Kumar, Aditya Karnik
OSDI
2004
ACM
16 years 5 months ago
Enhancing Server Availability and Security Through Failure-Oblivious Computing
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
Martin C. Rinard, Cristian Cadar, Daniel Dumitran,...