Sciweavers

3663 search results - page 458 / 733
» Problems in the ontology of computer programs
Sort
View
ISLPED
1996
ACM
91views Hardware» more  ISLPED 1996»
15 years 11 months ago
Energy minimization using multiple supply voltages
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
Jui-Ming Chang, Massoud Pedram
EUROSYS
2007
ACM
15 years 10 months ago
Integrating aspect-orientation and structural annotations to support adaptive middleware
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
Holger Mügge, Tobias Rho, Armin B. Cremers
CSREASAM
2006
15 years 8 months ago
MRAS: A Multi-Layered Remote Authentication System
: Accessing computer resources from off campus has been a continuing problem for both students and faculty, and this problem has been exacerbated by the growth of our graduate prog...
Wilfrid Mirville, Jamie Kobie, Michael Nelson
AAAI
1994
15 years 8 months ago
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
Steven Minton, Ian Underwood
AUTOMATICA
2007
110views more  AUTOMATICA 2007»
15 years 6 months ago
Stability analysis of systems with uncertain time-varying delays
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
Chung-Yao Kao, Anders Rantzer