4887 search results - page 211 / 978 » System Level Design Using C |
149
click to vote
TVLSI
2008
15 years 6 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...
186
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a new distributed computing framework for Many Task Computing (MTC) applications, based on the Extensible Messaging and Presence Protocol (XMPP). A lightweight...
165
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
148
click to vote
TACAS
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
156
click to vote
MOBICOM
2006
ACM
16 years 8 days ago
2006
ACM
This paper discusses the current state of the art systems of real time telemetry on oceanographic moorings and describes the design requirements for making acoustic modem data tel...