1179 search results - page 172 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
138
click to vote
CASC
2010
Springer
15 years 3 months ago
2010
Springer
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
132
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Sharing life-log information in a social community has many advantages, both for the user and society. But sharing any type of personal information is a threat to privacy. In parti...
119
Voted
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...
120
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper addresses the problem of acoustic echo cancellation in non-linear environments. The rst contribution relates to the use of a cascaded model which divides the loudspeake...
151
Voted
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 11 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...