1179 search results - page 172 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
152
click to vote
CASC
2010
Springer
15 years 4 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 ...
143
click to vote
SOCIALCOM
2010
15 years 3 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...
130
click to vote
WEBI
2010
Springer
15 years 3 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...
129
click to vote
ICASSP
2011
IEEE
14 years 9 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...
164
click to vote
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
16 years 1 days ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...