34 search results - page 7 / 7 » High-Level Specification of Runtime Reconfigurable Designs |
ENTCS
2002
13 years 5 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
OOPSLA
2009
Springer
13 years 12 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
ANCS
2010
ACM
13 years 2 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
CLEIEJ
2007
13 years 5 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...