東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Modeling Time in Computing

Furia, Carlo A.{me_controlnum}

FindBook

Google Book

Amazon

博客來

Modeling Time in Computing

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Modeling Time in Computing/ by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
作者:	Furia, Carlo A.{me_controlnum}
其他作者:	Mandrioli, Dino.
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2012.,
面頁冊數:	xvi, 423 p. :ill., digital ;24 cm.
內容註:	Chap. 1 It's About Time -- Chap. 2 Languages and Interpretations -- Chap. 3 Dimensions of the Time Modeling Problem -- Chap. 4 Dynamical Systems -- Chap. 5 Time in Hardware Modeling and Design -- Chap. 6 Time in the Analysis of Algorithms -- Chap. 7 Synchronous Abstract Machines -- Chap. 8 Asynchronous Abstract Machines: Petri Nets -- Chap. 9 Logic-Based Formalisms -- Chap. 10 Algebraic Formalisms -- Chap. 11 Dual-Language Approaches -- Chap. 12 Time Is up -- References -- Index.
Contained By:	Springer eBooks
標題:	Database management. -
電子資源:	http://dx.doi.org/10.1007/978-3-642-32332-4
ISBN:	9783642323324 (electronic bk.)

Modeling Time in Computing
Furia, Carlo A.{me_controlnum}

Modeling Time in Computing[electronic resource] /by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - xvi, 423 p. :ill., digital ;24 cm. - Monographs in theoretical computer science. an EATCS series,1431-2654. - Monographs in theoretical computer science. an EATCS series..

Chap. 1 It's About Time -- Chap. 2 Languages and Interpretations -- Chap. 3 Dimensions of the Time Modeling Problem -- Chap. 4 Dynamical Systems -- Chap. 5 Time in Hardware Modeling and Design -- Chap. 6 Time in the Analysis of Algorithms -- Chap. 7 Synchronous Abstract Machines -- Chap. 8 Asynchronous Abstract Machines: Petri Nets -- Chap. 9 Logic-Based Formalisms -- Chap. 10 Algebraic Formalisms -- Chap. 11 Dual-Language Approaches -- Chap. 12 Time Is up -- References -- Index.

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common "ancestors"; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and "dual-language approaches" combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

ISBN: 9783642323324 (electronic bk.)Subjects--Topical Terms:

527442
Database management.

Dewey Class. No.: 005.1

Modeling Time in Computing
LDR:03818nmm a2200277 a 4500 001 1329209
003 DE-He213
005 20121206105528.0
006 m d
007 cr nn 008maaau
008 130207s2012 gw s 0 eng d
020 $a 9783642323324 (electronic bk.)
020 $a 9783642323317 (paper)
035 $a 978-3-642-32332-4
040 $a GP $c GP
041 0 $a eng
082 0 4 $a 005.1 $2 23
090 $a QA76.9.D3 $b F984 2012
100 1 $a Furia, Carlo A.{me_controlnum} $3 1620915
245 1 0 $a Modeling Time in Computing $h [electronic resource] / $c by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2012.
300 $a xvi, 423 p. : $b ill., digital ; $c 24 cm.
490 1 $a Monographs in theoretical computer science. an EATCS series, $x 1431-2654
505 0 $a Chap. 1 It's About Time -- Chap. 2 Languages and Interpretations -- Chap. 3 Dimensions of the Time Modeling Problem -- Chap. 4 Dynamical Systems -- Chap. 5 Time in Hardware Modeling and Design -- Chap. 6 Time in the Analysis of Algorithms -- Chap. 7 Synchronous Abstract Machines -- Chap. 8 Asynchronous Abstract Machines: Petri Nets -- Chap. 9 Logic-Based Formalisms -- Chap. 10 Algebraic Formalisms -- Chap. 11 Dual-Language Approaches -- Chap. 12 Time Is up -- References -- Index.
520 $a Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common "ancestors"; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and "dual-language approaches" combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
650 0 $a Database management. $3 527442
650 0 $a Software engineering. $3 559826
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Computer Hardware. $3 892776
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Computing Methodologies. $3 830243
700 1 $a Mandrioli, Dino. $3 654029
700 1 $a Morzenti, Angelo. $3 1620916
700 1 $a Rossi, Matteo. $3 1620917
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Monographs in theoretical computer science. an EATCS series. $3 1620918
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-32332-4
950 $a Computer Science (Springer-11645)