With this function you can construct your weekly calendar of lessons, which is customized on the basis of the courses that you intend to follow.
Warning: the personal schedule does not replace the presentation of the study plan! It's an informal tool that can help you better manage the organization of class attendance before the study plan presentation.
After the study plan presentation we recommend you to use the Lecture timetable service in your Online Services.
To create your customized schedule follow these instructions:
- Click on the "Enable" link to proceed. You will be asked your surname and first name in order to determine your alphabetic grouping.
-
To add or remove courses from your personal schedule, use the small icons which are found next to the courses:
 addition of the course removal of the course selection of the section of the Laboratory of Architecture
(Note: the effective area in which the teaching will be carried out will be determined after the presentation of the Study Plans)
-
The sidebar on the left displays the number of lessons included in schedule.
There are also these commands:
 View the schedule: allows the viewing of the weekly synoptic schedule Delete the schedule: cancels the selections made
When you have finished the entry, you can print the calendar you have made.
| Semester (Sem) | | 1 | First Semester | | 2 | Second Semester | | A | Annual course | Educational activities | | B | Identifying 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
|
|
|
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
|
T2B - Engineering of computing systems
|
|
Programme Year
|
2
|
|
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 remove | Alphabetical group | Professor | Language | Teaching Assignment Details |
|---|
| From (included) | To (excluded) |
|---|
| -- | A | ZZZZ | Mandrioli Dino | |  |
|
|
Details 
Class schedule planning