At the start of the twenty-first century, America was awash in a sea of evangelical talk. The Purpose Driven Life. Joel Osteen. The Left Behind novels. George W. Bush. Evangelicalism had become so powerful and pervasive that political scientist Alan Wolfe wrote of "a sense in which we are all evangelicals now." Steven P. Miller offers a dramatically different perspective: the Bush years, he argues, did not mark the pinnacle of evangelical influence, but rather the beginning of its decline. The Age of Evangelicalism chronicles the place and meaning of evangelical Christianity in America since 1970, a period Miller defines as America's "born-again years." This was a time of evangelical scares, born-again spectacles, and battles over faith in the public square. From the Jesus chic of the 1970s to the satanism panic of the 1980s, the culture wars of the 1990s, and the faith-based vogue of the early 2000s, evangelicalism expanded beyond churches and entered the mainstream in ways both subtly and obviously influential. Born-again Christianity permeated nearly every area of American life. It was broad enough to encompass Hal Lindsey's doomsday prophecies and Marabel Morgan's sex advice, Jerry Falwell and Jimmy Carter. It made an unlikely convert of Bob Dylan and an unlikely president of a divorced Hollywood actor. As Miller shows, evangelicalism influenced not only its devotees but its many detractors: religious conservatives, secular liberals, and just about everyone in between. The Age of Evangelicalism contained multitudes: it was the age of Christian hippies and the "silent majority," of Footloose and The Passion of the Christ, of Tammy Faye Bakker the disgraced televangelist and Tammy Faye Messner the gay icon. Barack Obama was as much a part of it as Billy Graham. The Age of Evangelicalism tells the captivating story of how born-again Christianity shaped the cultural and political climate in which millions Americans came to terms with their times.

While spreading the gospel around the world through his signature crusades, internationally renowned evangelist Billy Graham maintained a visible and controversial presence in his native South, a region that underwent substantial political and economic change in the latter half of the twentieth century. In this period Graham was alternately a desegregating crusader in Alabama, Sunbelt booster in Atlanta, regional apologist in the national press, and southern strategist in the Nixon administration."Billy Graham and the Rise of the Republican South" considers the critical but underappreciated role of the noted evangelist in the creation of the modern American South. The region experienced two significant related shifts away from its status as what observers and critics called the "Solid South": the end of legalized Jim Crow and the end of Democratic Party dominance. Author Steven P. Miller treats Graham as a serious actor and a powerful symbol in this transition--an evangelist first and foremost, but also a profoundly political figure. In his roles as the nation's most visible evangelist, adviser to political leaders, and a regional spokesperson, Graham influenced many of the developments that drove celebrants and detractors alike to place the South at the vanguard of political, religious, and cultural trends. He forged a path on which white southern moderates could retreat from Jim Crow, while his evangelical critique of white supremacy portended the emergence of "color blind" rhetoric within mainstream conservatism. Through his involvement in the Eisenhower and Nixon administrations, as well as his deep social ties in the South, the evangelist influenced the decades-long process of political realignment.Graham's public life sheds new light on recent southern history in all of its ambiguities, and his social and political ethics complicate conventional understandings of evangelical Christianity in postwar America. Miller's book seeks to reintroduce a familiar figure to the narrative of southern history and, in the process, examine the political and social transitions constitutive of the modern South.

Recent advanced in model-checking have made it practical to formally verify the correctness of many complex synchronous systems (i.e., systems driven by a single clock). However, many computer systems are implemented by asynchronously composing several synchronous components, where each component has its own clock and these clocks are not synchronized. Formal verification of such Globally Asynchronous/Locally Synchronous (GA/LS) architectures is a much more difficult task. In this report, we describe a methodology for developing and reasoning about such systems. This approach allows a developer to start from an ideal system specification and refine it along two axes. Along one axis, the system can be refined one component at a time towards an implementation. Along the other axis, the behavior of the system can be relaxed to produce a more cost effective but still acceptable solution. We illustrate this process by applying it to the synchronization logic of a Dual Fight Guidance System, evolving the system from an ideal case in which the components do not fail and communicate synchronously to one in which the components can fail and communicate asynchronously. For each step, we show how the system requirements have to change if the system is to be implemented and prove that each implementation meets the revised system requirements through modelchecking.