Sciweavers

4698 search results - page 119 / 940
» Making Functionality More General
Sort
View
103
Voted
TE
2010
70views more  TE 2010»
14 years 10 months ago
A Cost-Effective Atomic Force Microscope for Undergraduate Control Laboratories
Abstract--This paper presents a simple, cost-effective and robust atomic force microscope (AFM), which has been purposely designed and built for use as a teaching aid in undergradu...
Colin N. Jones, Jorge Gonçalves
MSWIM
2004
ACM
15 years 8 months ago
On utility-based radio resource management with and without service guarantees
In this paper we discuss utility functions models to study Radio Resource Management. Our goal is to identify the characteristics of the wireless systems which make such theoretic...
Leonardo Badia, Michele Zorzi
154
Voted
MICRO
2009
IEEE
326views Hardware» more  MICRO 2009»
15 years 10 months ago
DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
Changhee Jung, Nathan Clark
114
Voted
CIE
2008
Springer
15 years 5 months ago
Extraction in Coq: An Overview
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
Pierre Letouzey
110
Voted
TIT
1998
102views more  TIT 1998»
15 years 3 months ago
On Characterization of Entropy Function via Information Inequalities
—Given n discrete random variables = fX1;111; Xng, associated with any subset of f1; 2; 111; ng, there is a joint entropy H(X ) where X = fXi:i 2 g. This can be viewed as a f...
Zhen Zhang, Raymond W. Yeung