Sciweavers

1340 search results - page 241 / 268
» JWARS output analysis
Sort
View
PEPM
2000
ACM
14 years 1 months ago
Calculating Sized Types
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
Wei-Ngan Chin, Siau-Cheng Khoo
ICCAD
1995
IEEE
88views Hardware» more  ICCAD 1995»
14 years 1 months ago
Estimation and bounding of energy consumption in burst-mode control circuits
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
Peter A. Beerel, Kenneth Y. Yun, Steven M. Nowick,...
SIGCOMM
1991
ACM
14 years 1 months ago
A Control-Theoretic Approach to Flow Control
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
Srinivasan Keshav
GREC
2009
Springer
14 years 28 days ago
Interactive Conversion of Web Tables
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
Raghav Krishna Padmanabhan, Ramana Chakradhar Jand...
AAAI
2007
14 years 9 hour ago
Multi-Label Learning by Instance Differentiation
Multi-label learning deals with ambiguous examples each may belong to several concept classes simultaneously. In this learning framework, the inherent ambiguity of each example is...
Min-Ling Zhang, Zhi-Hua Zhou