Chris Wilson

3George Gogos
3Sidy Ndao
3Dennis Alexander
2Brian Boman
Learn More
This paper presents an algorithm for hardware verification that uses simulation and satisfiability checking techniques to determine the correctness of a symbolic test case on a circuit. The goal is to have coverage greater than that of random testing, but with the ease of use and predictability of directed testing. The user uses symbolic variables in simple(More)
  • Carmela Sidrauski, Diego Acosta-Alvear, Arkady Khoutorsky, Punitha Vedantham, Brian R Hearn, Han Li +12 others
  • 2013
Phosphorylation of the α-subunit of initiation factor 2 (eIF2) controls protein synthesis by a conserved mechanism. In metazoa, distinct stress conditions activate different eIF2α kinases (PERK, PKR, GCN2, and HRI) that converge on phosphorylating a unique serine in eIF2α. This collection of signaling pathways is termed the 'integrated stress response'(More)
This paper describes our experience applying formal verification to the cache coherence protocol of the HAL S1 System , a shared-memory and/or message-passing multipro-cessor consisting of standard Intel Pentium R Pro symmetric multiprocessing (SMP) servers connected by HAL's proprietary Mercury Interconnect to create a cache-coherent, non-uniform memory(More)
We have developed highly modular middleware for robotics programming and an interface for multi-robot teleoperation. WURDE provides abstractions for the communications, applications , and systems levels of robotic system development, which helps to isolate the developer from details not essential to the immediate task. RIDE is a control interface inspired(More)
  • Andrew Mcc Hogg, Michael P Meredith, Jeffrey R Blundell, Chris Wilson
  • 2008
The authors assess the role of time-dependent eddy variability in the Antarctic Circumpolar Current (ACC) in influencing warming of the Southern Ocean. For this, an eddy-resolving quasigeostrophic model of the wind-driven circulation is used, and the response of circumpolar transport, eddy kinetic energy, and eddy heat transport to changes in winds is(More)
In social interactions, the appropriate timing of physical actions is of vital importance. Otherwise appropriate actions performed at the wrong time can completely alter their perceived meaning. In this paper, we propose an approach to developing a physical vocabulary for human-robot interaction that uses trained actors as models of appropriate timing and(More)
In the present work, the effects of surface chemistry and micro/nanostructuring on the Leidenfrost temperature are experimentally investigated. The functional surfaces were fabricated on a 304 stainless steel surface via femtosecond laser surface processing (FLSP). The droplet lifetime experimental method was employed to determine the Leidenfrost(More)
  • Andrew F Thompson, Peter H Haynes, Chris Wilson, Kelvin J Richards, A F Thompson, P H Haynes +2 others
  • 2010
[1] The formation of persistent multiple fronts is an established feature of the Antarctic Circumpolar Current (ACC). Front strength and location are closely linked to eddy properties and therefore have important implications for the eddy‐driven closure of the Southern Ocean meridional overturning circulation. ACC front structure is analyzed here by(More)
Two major human diseases caused by filariid nematodes are onchocerciasis, or river blindness, and lymphatic filariasis, which can lead to elephantiasis. The drugs ivermectin, diethylcarbamazine (DEC), and albendazole are used in control programs for these diseases, but are mainly effective against the microfilarial stage and have minimal or no effect on(More)