4311 search results - page 73 / 863 » Code Generation for Distributed Systems |
96
Voted
ITEE
2007
15 years 3 months ago
2007
: Contemporary power distribution faces various new challenges. Most of those challenges have a strong impact on the ICT-structure required and on system architecture. This contrib...
131
click to vote
COMPSAC
2010
IEEE
15 years 4 days ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
147
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
IEEECIT
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
126
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...