631 search results - page 80 / 127 » Deriving Specifications from Requirements: An Example |
RSP
2003
IEEE
14 years 20 days ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
SEW
2003
IEEE
14 years 20 days ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
GLOBECOM
2009
IEEE
13 years 11 months ago
2009
IEEE
We consider the design and performance analysis of adaptive modulation and coding (AMC) applied to regenerative dual-hop transmission systems, where a source node communicates with...
NETWORKING
2000
13 years 8 months ago
2000
Mobile ad hoc wireless networks are generating novel interests in mobile computing. The dynamism in network topology has thrown up multifarious issues, requiring a fresh look into ...
JTRES
2010
ACM
13 years 7 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...