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.