933 search results - page 76 / 187 » How compilers and tools differ for embedded systems |
92
Voted
ENTCS
2010
15 years 2 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
107
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
113
Voted
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
126
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
154
Voted
MOBISEC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...