Sciweavers

3006 search results - page 216 / 602
» Overview
Sort
View
120
Voted
ICCAD
2003
IEEE
111views Hardware» more  ICCAD 2003»
16 years 19 days 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
109
Voted
MMM
2009
Springer
161views Multimedia» more  MMM 2009»
16 years 19 days 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
101
Voted
SOFSEM
2010
Springer
16 years 19 days 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...
136
Voted
IUI
2010
ACM
16 years 19 days 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...
145
Voted
FLOPS
2010
Springer
15 years 10 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