1850 search results - page 175 / 370 » Design-for-debugging of application specific designs |
WSCG
2003
13 years 11 months ago
2003
The analysis of blood flow patterns and the interaction between salient topological flow features and cardiovascular structure plays an important role in the study of cardiovascul...
BMCBI
2007
13 years 10 months ago
2007
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
FASE
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and ...
VLSID
1999
IEEE
14 years 2 months ago
1999
IEEE
The design and synthesis of asynchronous circuits is gaining importance in both the industrial and academic worlds. Timed circuits are a class of asynchronous circuits that incorp...