903 search results - page 94 / 181 » Using Library Dependencies for Clustering |
175
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
108
click to vote
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
157
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
97
Voted
TWC
2008
15 years 2 months ago
2008
Propagation measurements using a large array are used to study the angle of arrival (AOA) across the ultrawideband (UWB) frequency range of 3.1 to 10.6 GHz. A two-dimensional Unita...
124
Voted
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...