2810 search results - page 327 / 562 » Contract-Based Component System Design |
129
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
119
click to vote
IWMM
2009
Springer
15 years 9 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
119
click to vote
SAMOS
2009
Springer
15 years 9 months ago
2009
Springer
We believe that future many-core architectures should support a simple and scalable way to execute many threads that are generated by parallel programs. A good candidate to impleme...
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
The resampling of discrete-time signals where the underlying analog signal is non-bandlimited is considered in this paper. We extend the generalized sampling theory developed base...
142
click to vote
RSP
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...