02855nam 2200577 a 450 991045168560332120200520144314.00-8078-7750-6(CKB)1000000000477319(EBL)427159(OCoLC)476268769(SSID)ssj0000275137(PQKBManifestationID)11195169(PQKBTitleCode)TC0000275137(PQKBWorkID)10350340(PQKB)10550056(MiAaPQ)EBC427159(Au-PeEL)EBL427159(CaPaEBR)ebr10273463(CaONFJC)MIL930943(EXLCZ)99100000000047731920060329d2006 ub 0engur|n|---|||||txtccrWriters in retrospect[electronic resource] the rise of American literary history, 1875-1910 /Claudia StokesChapel Hill University of North Carolina Pressc20061 online resource (256 p.)Description based upon print version of record.0-8078-5720-3 0-8078-3040-2 Includes bibliographical references (p. 195-224) and index.Contents; Acknowledgments; Introduction; PART I: The Lay of the Land: Nation and the Responsibilities of Literary History; 1 A Culture of Retrospection: The Rise of Literary History in the Late Nineteenth Century; 2 Preservation and Assimilation: Brander Matthews and the Silences of Literary History; PART II: Class, Authority, and Literary History; 3 Copyrighting American History: International Copyright and the Periodization of the Nineteenth Century; 4 A Higher Function: Literary History and the Advent of Professionalism; 5 Rancor's Remains: Barrett Wendell and the New England RenaissanceEpilogue: Relevance and Its DiscontentsNotes; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Y; Z; Presenting an analysis of the American literary history, this work offers important insights into the practices, beliefs, and values that shaped the discipline. It reveals the forces, both inside and outside the academy, that propelled the rise of American literary history and persist as influences on the work of practitioners of the field.American literatureHistory and criticismTheory, etcCriticismUnited StatesHistory19th centuryElectronic books.American literatureHistory and criticismTheory, etc.CriticismHistory810/.9Stokes Claudia1970-961053MiAaPQMiAaPQMiAaPQBOOK9910451685603321Writers in retrospect2178936UNINA05987nam 2200817 a 450 991082009100332120230124183943.097811185581881118558189978111860009211186000969781118600122111860012697812991874501299187455(CKB)2550000001005882(EBL)1124321(SSID)ssj0000832934(PQKBManifestationID)11465909(PQKBTitleCode)TC0000832934(PQKBWorkID)10918982(PQKB)10810509(Au-PeEL)EBL1124321(CaPaEBR)ebr10658441(CaONFJC)MIL449995(CaSebORM)9781118600092(MiAaPQ)EBC1124321(OCoLC)828298965(Perlego)1008277(EXLCZ)99255000000100588220090709d2010 uy 0engur|n|---|||||txtccrCommunicating embedded systems software and design : formal methods /edited by Claude Jard, Olivier H. Roux1st editionLondon ISTE ;Hoboken, N.J. Wiley20101 online resource (275 p.)ISTEDescription based upon print version of record.9781848211438 1848211430 Includes bibliographical references and index.Cover; Communicating Embedded Systems; Title Page; Copyright Page; Table of Contents; Preface; Chapter 1. Models for Real-Time Embedded Systems; 1.1. Introduction; 1.1.1. Model-checking and control problems; 1.1.2. Timed models; 1.2. Notations, languages and timed transition systems; 1.3. Timed models; 1.3.1. Timed Automata; 1.3.2. Time Petri nets; 1.3.2.1. T-time Petri nets; 1.3.2.2. Timed-arc petri nets; 1.3.3. Compared expressiveness of several classes of timed models; 1.3.3.1. Bisimulation and expressiveness of timed models; 1.3.3.2. Compared expressiveness of different classes of TPN1.3.3.3. Compared expressiveness of TA, TPN, and TAPN1.4. Models with stopwatches; 1.4.1. Formal models for scheduling aspects; 1.4.1.1. Automata and scheduling; 1.4.1.2. Time Petri nets and scheduling; 1.4.2. Stopwatch automata; 1.4.3. Scheduling time Petri nets; 1.4.4. Decidability results for stopwatch models; 1.5. Conclusion; 1.6. Bibliography; Chapter 2. Timed Model-Checking; 2.1. Introduction; 2.2. Timed models; 2.2.1. Timed transition system; 2.2.2. Timed automata; 2.2.3. Other models; 2.3. Timed logics; 2.3.1. Temporal logics CTL and LTL; 2.3.2. Timed extensions; 2.3.2.1. Timed CTL2.3.2.2. Timed LTL2.4. Timed model-checking; 2.4.1. Model-checking LTL and CTL (untimed case); 2.4.2. Region automaton; 2.4.3. Model-checking TCTL; 2.4.4. Model-checking MTL; 2.4.5. Efficient model-checking; 2.4.6. Model-checking in practice; 2.5. Conclusion; 2.6. Bibliography; Chapter 3. Control of Timed Systems; 3.1. Introduction; 3.1.1. Verification of timed systems; 3.1.2. The controller synthesis problem; 3.1.3. From control to game; 3.1.4. Game objectives; 3.1.5. Varieties of untimed games; 3.2. Timed games; 3.2.1. Timed game automata; 3.2.2. Strategies and course of the game3.2.2.1. The course of a timed game3.2.2.2. Strategies; 3.3. Computation of winning states and strategies; 3.3.1. Controllable predecessors; 3.3.2. Symbolic operators; 3.3.3. Symbolic computation of winning states; 3.3.4. Synthesis of winning strategies; 3.4. Zeno strategies; 3.5. Implementability; 3.5.1. Hybrid automata; 3.5.2. On the existence of non-implementable continuous controllers; 3.5.3. Recent results and open problems; 3.6. Specification of control objectives; 3.7. Optimal control; 3.7.1. TA with costs; 3.7.2. Optimal cost in timed games; 3.7.3. Computation of the optimal cost3.7.4. Recent results and open problems3.8. Efficient algorithms for controller synthesis; 3.8.1. On-the-fly algorithms; 3.8.2. Recent results and open problems; 3.9. Partial observation; 3.10. Changing game rules...; 3.11. Bibliography; Chapter 4. Fault Diagnosis of Timed Systems; 4.1. Introduction; 4.2. Notations; 4.2.1. Timed words and timed languages; 4.2.2. Timed automata; 4.2.3. Region graph of a TA; 4.2.4. Product of TA; 4.2.5. Timed automata with faults; 4.3. Fault diagnosis problems; 4.3.1. Diagnoser; 4.3.2. The problems; 4.3.3. Necessary and sufficient condition for diagnosability4.4. Fault diagnosis for discrete event systemsThe increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the ISTEEmbedded computer systemsProgrammingEmbedded computer systemsDesign and constructionComputer softwareDevelopmentFormal methods (Computer science)Embedded computer systemsProgramming.Embedded computer systemsDesign and construction.Computer softwareDevelopment.Formal methods (Computer science)621.39/2Jard Claude1641049Roux Olivier H1641050MiAaPQMiAaPQMiAaPQBOOK9910820091003321Communicating embedded systems3984916UNINA