Sciweavers

6926 search results - page 89 / 1386
» A More Effective CEFF
Sort
View
ICFP
2003
ACM
14 years 10 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
ICCD
2002
IEEE
93views Hardware» more  ICCD 2002»
14 years 7 months ago
Impact of Scaling on the Effectiveness of Dynamic Power Reduction Schemes
Power is considered to be the major limiter to the design of more faster and complex processors in the near future. In order to address this challenge, a combination of process, c...
David Duarte, Narayanan Vijaykrishnan, Mary Jane I...
ICASSP
2009
IEEE
14 years 5 months ago
A sum-of-products model for effective coherent modulation filtering
Modulation filtering is a technique for filtering slowly-varying envelopes of frequency subbands of a nonstationary signal, ideally without affecting the signal’s phase and ...
Pascal Clark, Les E. Atlas
IROS
2008
IEEE
89views Robotics» more  IROS 2008»
14 years 4 months ago
Scaling effects in multi-robot control
— The present study investigates the effect of the number of controlled robots on performance of an urban search and rescue (USAR) task using a realistic simulation. Task perform...
Prasanna Velagapudi, Paul Scerri, Katia P. Sycara,...
PIMRC
2008
IEEE
14 years 4 months ago
Effects of topology on local throughput-capacity of ad hoc networks
—Most publications on the capacity and performance of wireless ad hoc networks share the underlying assumption of a uniform random distribution of nodes. In this paper, we study ...
Jakob Hoydis, Marina Petrova, Petri Mähö...