logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Course Details
Save Document
Degree Programme
Degree Programme not available
Faculty
Infrastructures
Quantitative data
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English

Glossary
Semester (Sem)
1First Semester
2Second Semester
AAnnual course
Educational activities
BIdentifying activities
Language
Course completely offered in italian
Course completely offered in english
--Not available
Innovative teaching
The credits shown next to this symbol indicate the part of the course CFUs provided with Innovative teaching.
These CFUs include:
  • Subject taught jointly with companies or organizations
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Course Details
Context
Academic Year 2014/2015
School School of Industrial and Information Engineering
Name (Master of Science degree)(ord. 270) - MI (434) Engineering of Computing Systems
Track T2A - Sistemi e applicazioni dell'Informatica
Programme Year 2

Course Details
ID Code 093548
Course Title MODELING TIME IN COMPUTING
Course Type Mono-Disciplinary Course
Credits (CFU / ECTS) 5.0
Semester --
Course Description Models including a notion of time are ubiquitous in the natural sciences and engineering, and they also received the attention of philosophers, linguists, and other scholars. It is in computing, however, where the abstractions provided by the traditional models of time of the physical sciences can be unbecoming. To bridge this hiatus between abstractions, computer science research has been quite prolific in spawning novel models of time. This course presents the state of the art in this area, including some historical perspective and not omitting the occasional controversial aspects. The goal is to help students develop a solid understanding of the problems related with the analysis of phenomena and processes whose behavior critically depends on timing aspects. The main topics covered by the course are (tentatively): - Key issues that arise when modeling time across every type of system. - Critical review of traditional ways to deal with time in science, engineering and computer science -State of the art approaches to modeling time and related analysis techniques: Operational formalisms: --Synchronous machines based on finite state automata: timed and stochastic extensions --Asynchronous formalisms: Petri nets; timed and stochastic extensions Logic formalisms for time modeling --Hints on algebraic approaches and dual language approaches.
Scientific-Disciplinary Sector (SSD)
Educational activities SSD Code SSD Description CFU
B
ING-INF/05
INFORMATION PROCESSING SYSTEMS
5.0

Schedule, add and removeAlphabetical groupProfessorLanguageCourse details
From (included)To (excluded)
--AZZZZMandrioli Dino
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
14/12/2019