|
A list of selected recent publications is shown below. For a complete and detailed list of publications,
please visit homepages of individual group members. Energy Management for Multi-Processor/Core Systems: S. Yaldiz, A. Demir, S. Tasiran, P. Ienne, Y. Leblebici Characterizing and Exploiting Task-Load Variability and Correlation for Energy Management submitted to EMSOFT, New Jersey, September 18-22, 2005 Computer-Aided Verification of Software: T. Elmas, S. Tasiran, S. Qadeer VYRD: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection (To appear) ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, PLDI '05, June 12-15, 2005 S. Tasiran, S. Qadeer Runtime Refinement Checking of Concurrent Data Structures In Proc. RV'04 - Fourth Workshop on Runtime Verification, April 3, 2004, Barcelona, Spain The European Joint Conferences on Theory and Practice of Software (ETAPS '04) Electronic Notes in Theoretical Computer Science, Elsevier Science Formal Methods for Hardware Design and Verification: S. Qadeer, S. Tasiran Promising Directions in Hardware Design Verification In Proc. Intl. Symposium on Quality Electronic Design, ISQED '02, San Jose, CA, 2002 S. Tasiran, Y. Yu, R. Joshi, B. Batson, S. Kreider Using Formal Specifications to Monitor and Guide Simulation: Verifying the Cache Coherence Engine of the Alpha 21364 Microprocessor Proc. of the IEEE Computer Society Workshop on Microprocessor Test and Verification, MTV ’02 Noise and Interference in Circuits and Systems: A. Demir Phase Noise and Timing Jitter in Oscillators with Colored Noise Sources IEEE Transactions on Circuits and Systems-I: Fundamental Theory and Applications, December 2002 A. Demir, E. Liu and A. Sangiovanni-Vincentelli Time-Domain non-Monte Carlo Noise Simulation for Nonlinear Dynamic Circuits with Arbitrary Excitations in The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design Kluwer Academic Publishers, 2003 A. Demir and J. Roychowdhury A Reliable and Efficient Procedure for Oscillator PPV Computation, with Phase Noise Macromodelling Applications IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Februrary 2003 A. Demir Phase Noise in Oscillators as Differential-Algebraic Systems with Colored Noise Sources SPIE 2nd Annual Symposium on Fluctuations and Noise, Gran Canaria, Spain, May 2004 Z. Zhu, A. Demir, J. White Stochastic Integral Equation Method for Modeling the Rough Surface Effect On Interconnect Capacitanc IEEE/ACM International Conference on Computer-Aided Design, November 2004 A. Demir Oscillator Noise Analysis 18th International Conference on Noise and Fluctuations, Salamanca, Spain, September 2005 Computational Prototyping of Optical Communication Systems: A. Demir Formulations and Numerical Methods for Noise Analysis in Optical Fiber Communication Systems International Conference on Scientific Computation and Differential Equations (SciCADE) , June 2003 A. Demir Noise Analysis for Optical Fiber Communication Systems IEEE/ACM International Conference on Computer-Aided Design, November 2003 A. Demir non Monte Carlo Formulations and Computational Techniques for the Stochastic Nonlinear Schrodinger Equation Journal of Computational Physics, November 2004 |