2266 search results - page 178 / 454 » Generalizing parametric timing analysis |
127
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
147
click to vote
DAM
1999
15 years 3 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
124
Voted
DOCENG
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...
127
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
124
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...