18 papers:
DATE-2014-WangLLW0 #design #functional #generative #testing- Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
- DATE-2013-HasanA #analysis #fault #feedback #formal method #using
- Formal analysis of steady state errors in feedback control systems using HOL-light (OH, MA), pp. 1423–1426.
DAC-2012-UkhovBEP #analysis #embedded #multi #optimisation #reliability- Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems (IU, MB, PE, ZP), pp. 197–204.
- DATE-2012-BrachtendorfBL #simulation
- Simulation of the steady state of oscillators in the time domain (HGB, KB, RL), pp. 1355–1360.
CHI-2010-MoffattM #fault #named- Steadied-bubbles: combining techniques to address pen-based pointing errors for younger and older adults (KM, JM), pp. 1125–1134.
- DAC-2009-KimRH #analysis #probability
- Stochastic steady-state and AC analyses of mixed-signal systems (JK, JR, MAH), pp. 376–381.
- DATE-2008-VytyazHMM #analysis #constraints #design #similarity
- Periodic Steady-State Analysis Augmented with Design Equality Constraints (IV, PKH, UKM, KM), pp. 312–317.
CASE-2005-LeeP #analysis #constraints #graph- Steady state analysis of a timed event graph with time window constraints (TEL, SHP), pp. 404–409.
- DATE-v2-2004-ZhouZLLZC #analysis #using
- Steady-State Analysis of Nonlinear Circuits Using Discrete Singular Convolution Method (XZ, DZ, JL, RL, XZ, CC), pp. 1322–1326.
ICEIS-v2-2004-PerezMAG #algorithm- Consolidated Tree Construction Algorithm: Structurally Steady Trees (JMP, JM, OA, IG), pp. 14–21.
- DAC-2002-Roychowdhury
- A time-domain RF steady-state method for closely spaced tones (JSR), pp. 510–513.
- DAC-2002-YangP #component #multi #simulation #using
- Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method (BY, JRP), pp. 504–509.
- DATE-2002-BrachtendorfLLMF #continuation #using
- Steady State Calculation of Oscillators Using Continuation Methods (HGB, SL, RL, RCM, PF), p. 1139.
- DAC-1998-HasteerMB #algorithm #automaton #verification
- An Implicit Algorithm for Finding Steady States and its Application to FSM Verification (GH, AM, PB), pp. 611–614.
- DATE-1998-MarculescuMP #estimation #probability
- Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation (DM, RM, MP), pp. 774–779.
- DAC-1995-TelicheveskyKW #analysis #performance
- Efficient Steady-State Analysis Based on Matrix-Free Krylov-Subspace Methods (RT, KSK, JW), pp. 480–484.
ICLP-1995-DekhtyarD #behaviour #database #deduction- Dynamic Deductive Data Bases With Steady Behaviour (MID, AJD), pp. 183–197.
- EDAC-1994-HachtelMPS #algorithm #finite #state machine
- Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine (GDH, EM, AP, FS), pp. 214–218.
