Tighter Timing Predictions by Automatic Detection and Exploitation of Value-Dependent Constraints Christopher Healy and David Whalley Computer Science Department, Florida State University, Tallahassee, FLe-ma

Source URL: www.cs.fsu.edu

Supporting the Specification and Analysis of Timing Constraints* Lo Ko, Christopher Healy, Emily Ratliff Robert Arnold, and David Whalley Computer Science Dept., Florida State Univ. Tallahassee, FLe-mail: wha

Source URL: www.cs.fsu.edu

Timing Constraint Specification and Analysis* Lo Ko, Nagham Al-Yaqoubi, Christopher Healy, Emily Ratliff, Robert Arnold, and David Whalley Computer Science Department Florida State University Tallahassee, FL

Source URL: www.cs.fsu.edu

Bounding Pipeline and Instruction Cache Performance* Christopher A. Healy, Robert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon† Abstract Predicting the execution time of code segments in real-time syste

Source URL: www.cs.fsu.edu

Bounding Loop Iterations for Timing Analysis Christopher Healy∗ Mikael Sjödin† Viresh Rustagi‡ David Whalley∗ Abstract a program, the bounds for every loop in the program must be specified, which is error prone

Source URL: www.cs.fsu.edu

Parametric Timing Analysis and Its Application to Dynamic Voltage Scaling SIBIN MOHAN, FRANK MUELLER, North Carolina State University MICHAEL ROOT, WILLIAM HAWKINS, CHRISTOPHER HEALY, Furman University DAVID WHALLEY, Flo

Source URL: moss.csc.ncsu.edu

How Geographic Information System (GIS) Data and Application Tools Can Be Used to Inform Renewable Energy Decisions: A Case Study Katie Budreski and David Healy Presented at 2015 NY GeoCon

Source URL: nysgis.net

COMPUTATIONAL HARMONIC ANALYSIS FOR TENSOR FIELDS ON THE TWO-SPHERE PETER KOSTELEC, DAVID K. MASLEN, DANIEL N. ROCKMORE, AND DENNIS HEALY, JR. Abstract. In this paper we describe algorithms for the numerical computation

Source URL: www.cs.dartmouth.edu

CCHR Logo Inverted [Converted]

Source URL: www.cchrstl.org

• Chemistry
• Neurochemistry
• Selective serotonin reuptake inhibitors
• Organic chemistry
• Antidepressant
• David Healy
• Venlafaxine
• Fluoxetine
• Psychiatric medication
• Peter Breggin
• Sertraline
• Suicidal ideation