4311 search results - page 73 / 863 » Code Generation for Distributed Systems |
139
click to vote
ITEE
2007
15 years 7 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...
175
click to vote
COMPSAC
2010
IEEE
15 years 4 months 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...
194
click to vote
ESORICS
2002
Springer
16 years 5 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...
143
click to vote
IEEECIT
2005
IEEE
15 years 11 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...
170
click to vote
POPL
2000
ACM
15 years 10 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...