Sciweavers

3006 search results - page 216 / 602
» Overview
Sort
View
ICCAD
2003
IEEE
111views Hardware» more  ICCAD 2003»
16 years 3 months ago
Formal Methods for Dynamic Power Management
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...
Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
MMM
2009
Springer
161views Multimedia» more  MMM 2009»
16 years 3 months ago
Key Estimation Using Circle of Fifths
This paper presents a novel key estimation method of sound sources based on the music theory known as "circle of fifths". We firstly overview music theory and formulate t...
Takahito Inoshita, Jiro Katto
SOFSEM
2010
Springer
16 years 3 months ago
Clock Synchronization: Open Problems in Theory and Practice
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. The purpose of clock synchronization is to provide the con...
Christoph Lenzen, Thomas Locher, Philipp Sommer, R...
IUI
2010
ACM
16 years 3 months ago
The RelFinder user interface: interactive exploration of relationships between objects of interest
Being aware of the relationships that exist between objects of interest is crucial in many situations. The RelFinder user interface helps to get an overview: Even large amounts of...
Steffen Lohmann, Philipp Heim, Timo Stegemann, J&u...
FLOPS
2010
Springer
16 years 1 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka