3600 search results - page 284 / 720 » The settling-time reducibility ordering |
167
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
163
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
172
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
206
click to vote
ISBMS
2010
Springer
15 years 8 months ago
2010
Springer
We analyze a problem, which is relevant for physiological modeling of vascular networks: the initialization and optimization of specific, individual models of a functioning vessel ...
183
Voted
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...