433 search results - page 68 / 87 » Contracts: From Analysis to C Implementation |
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
Smartphones have recently become increasingly popular because they provide "all-in-one" convenience by integrating traditional mobile phones with handheld computing devi...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Next-generation high-end Network Processors (NP) must address demands from both diversified applications and ever-increasing traffic pressure. One major challenge is to design an e...
129
click to vote
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
132
click to vote
IMC
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
119
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...