Sciweavers

1606 search results - page 135 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
CASES
2003
ACM
15 years 10 months ago
A control-theoretic approach to dynamic voltage scheduling
The development of energy-conscious embedded and/or mobile systems exposes a trade-off between energy consumption and system performance. Recent microprocessors have incorporated ...
Ankush Varma, Brinda Ganesh, Mainak Sen, Suchismit...
TEI
2010
ACM
111views Hardware» more  TEI 2010»
15 years 11 months ago
SKIN: designing aesthetic interactive surfaces
In this paper we propose SKIN as an interdisciplinary design approach for sophisticated interactive surfaces, with an emphasis on their meanings and aesthetic qualities. SKIN: Sur...
Heekyoung Jung, Youngsuk L. Altieri, Jeffrey Bardz...
APAL
2010
123views more  APAL 2010»
15 years 4 months ago
Cut elimination and strong separation for substructural logics: An algebraic approach
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
Nikolaos Galatos, Hiroakira Ono
CORR
2006
Springer
111views Education» more  CORR 2006»
15 years 4 months ago
Universal decoding with an erasure option
Motivated by applications of rateless coding, decision feedback, and automatic repeat request (ARQ), we study the problem of universal decoding for unknown channels in the presence...
Neri Merhav, Meir Feder
ICST
2008
IEEE
15 years 11 months ago
Empirical Software Change Impact Analysis using Singular Value Decomposition
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
Mark Sherriff, Laurie Williams