1179 search results - page 172 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
158
click to vote
CASC
2010
Springer
15 years 5 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 ...
150
click to vote
SOCIALCOM
2010
15 years 4 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...
135
click to vote
WEBI
2010
Springer
15 years 4 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...
139
click to vote
ICASSP
2011
IEEE
14 years 10 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...
172
click to vote
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
16 years 21 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...