363 search results - page 33 / 73 » Validation coverage analysis for complex digital designs |
EMO
2005
Springer
14 years 2 months ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
APCSAC
2004
IEEE
14 years 13 days ago
2004
IEEE
As device sizes continue shrinking, lower charges are needed to activate gates, and consequently ever smaller external events (such as single ionizing particles of naturally occurr...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...