1885 search results - page 212 / 377 » Optimization of Component Connections for an Embedded Compon... |
161
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
192
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
145
click to vote
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Wireless sensor networks are revolutionizing the instrumentation of the physical world, across scientific, industrial and military applications. In this paper, we describe our eff...
140
click to vote
IH
1998
Springer
15 years 9 months ago
1998
Springer
This paper2 presents a new approach for the secure and robust copyright protection of digital images. A system for generating digital watermarks and for trading watermarked images ...
155
click to vote
BPM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...