435 search results - page 35 / 87 » Timing analysis of asynchronous circuits using timed automat... |
101
click to vote
ICCAD
2005
IEEE
15 years 9 months 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...
123
Voted
NFM
2011
14 years 7 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...
91
Voted
ETFA
2006
IEEE
15 years 6 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...
121
click to vote
DATE
2010
IEEE
15 years 5 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...
110
Voted
ECAI
2010
Springer
15 years 21 days 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 ...