570 search results - page 61 / 114 » Constructing reconfigurable software for machine control sys... |
EUC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
SIGMOD
2010
ACM
13 years 5 months ago
2010
ACM
More and more important data is accumulated inside social networks. Limiting the flow of private information across a social network is very important, and most social networks pr...
USENIX
2001
13 years 9 months ago
2001
SMP Click is a software router that provides both flexibility and high performance on stock multiprocessor PC hardware. It achieves high performance using device, buffer, and queu...
CSREAESA
2003
13 years 9 months ago
2003
The paper presents a technique for the design of digital circuits based on reusable hardware templates (HT). Any HT is being constructed in such a way that it might be employed for...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...