609 search results - page 31 / 122 » Optimizing Design for Variability Using Traceability Links |
ASPDAC
2000
ACM
14 years 24 days ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— IEEE 802.11 (WiFi) has been used beyond its original intended purpose of a tether-free LAN. In this paper, we are interested in the use of 802.11 in mesh networks. Specificall...
JSAC
2011
13 years 3 months ago
2011
Wireless vehicular ad hoc networks are characterized by multi-hop transmission, where a key problem is the design of routing, e.g., how to efficiently direct the information flo...
RTSS
1998
IEEE
14 years 20 days ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
ISCAS
1999
IEEE
14 years 22 days ago
1999
IEEE
High-level power design presents a complex, multiobjective problem that involves the simultaneous optimisation of competing criteria such as speed, area and power. It is difficult...