Sciweavers

980 search results - page 99 / 196
» A Sequential Reduction Strategy
Sort
View
DAC
2012
ACM
13 years 9 days ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
BROADNETS
2006
IEEE
15 years 4 months ago
On the Use of Smart Antennas in Multi-Hop Wireless Networks
— Smart antennas include a broad range of antenna technologies ranging from the simple switched beam to the more sophisticated adaptive arrays and multiple input multiple output ...
Karthikeyan Sundaresan, Sriram Lakshmanan, Raghupa...
DSN
2005
IEEE
15 years 3 months ago
Probabilistic QoS Guarantees for Supercomputing Systems
Supercomputing systems must be able to reliably and efficiently complete their assigned workloads, even in the presence of failures. This paper proposes a system that allows the ...
Adam J. Oliner, Larry Rudolph, Ramendra K. Sahoo, ...
IJCAI
2007
14 years 11 months ago
Communicating Effectively in Resource-Constrained Multi-Agent Systems
Agents with partial observability need to share information to achieve decentralised coordination. However, in resource-constrained systems, indiscriminate communication can creat...
Partha Sarathi Dutta, Claudia V. Goldman, Nicholas...
IJCAI
2003
14 years 11 months ago
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, T...