998 search results - page 133 / 200 » Networked Embedded Systems: A Quantitative Performance Compa... |
118
Voted
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
108
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
154
click to vote
USS
2010
15 years 1 months ago
2010
Secure multiparty computation (MPC) allows joint privacy-preserving computations on data of multiple parties. Although MPC has been studied substantially, building solutions that ...
145
Voted
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
118
Voted
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a proto-type autonomous signal processing system on a chip. The system is architected such that high performance digital signal processing occurs in the FPGAâ€...