376 search results - page 30 / 76 » Improved Design Debugging Using Maximum Satisfiability |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Considerable research has taken place in recent times in the area of parameterization of software defined radio (SDR) architecture. Parameterization decreases the size of the soft...
89
Voted
ICRA
1993
IEEE
15 years 1 months ago
1993
IEEE
cavity Recent advan.cesin cementless hip replacement surgery have significantly improved the accuracy of bone cavity preparation and custom implant shape design. With the increased...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Scheduling techniques are often deployed at the network edge to maximize the quality of the video communication while satisfying a given constraint on the maximum high priority ...
CII
2006
14 years 9 months ago
2006
Software support for the automotive electrical design process is vital, as many of the safety analysis tasks needing to be carried out, while complex, are repetitive and time cons...