435 search results - page 35 / 87 » Timing analysis of asynchronous circuits using timed automat... |
125
click to vote
ICCAD
2005
IEEE
16 years 19 days ago
2005
IEEE
— Variability in the chip design process has been relatively increasing with technology scaling to smaller dimensions. Using worst case analysis for circuit optimization severely...
151
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
116
click to vote
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
156
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—Time-dependent performance degradation due to transistor aging caused by mechanisms such as Negative Bias Temperature Instability (NBTI) and Hot Carrier Injection (HCI) is one o...
138
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
AI Planning is concerned with the selection of actions towards achieving a goal. Research on cellular automata (CA) is concerned with the question how global behaviours arise from ...