Software Verification Techniques
Correctness Properties of Software
Communication software design errors: Semantic error which causes the provision of incorrect service to the system users that affect the safety of the system. Syntactic errors which ulti
ELEC 463/ ELEC 6851
ASSIGNMENT 2
Due Date: June 13, 2009
Question 1.
Exrecise 5.15
Question 2. Exercise 5.55 ( Note : Assume that each information bit is equally likely
to be zero or one).
Question 3. A 128,000bytes message will be transmitted from the so
ELEC 463/ ELEC 6851
ASSIGNMENT 2
Due Date: November 15, 2005
Questions from the text: Exercises 5.16, 5.33, 5.56 ( In the lest exrecise assume that
the two fields will be consistent with each other if neither of them has any errors).
Question 1. A 128,000
QualNet 5.0 Tutorial (ELEC 6851)
Part 1: Installation
TODO: I would recommend getting AITS to provide the installation instructions as Im sure the license
restrictions will determine how/where QualNet gets installed.
Part 2: The QualNet 5.0 Developer
The
McGill University Fall 2006
ECSE 509: Probability and Random Signals II (CRN: 607/7845)
FINAL EXAMINATION
December 20th, 2006. Time: 9:00am - 12:00pm
Examiner: Prof. Yannis Psaromiligkos. Tel: 398-2465
4 .
Signature: WWW 9):
Assoc. Examiner: Prof. B
MATH 578 - PROBLEM SET 1
Posted
Due
Tuesday, October 4th 2010
Tuesday, October 18th 2010
Problem 1
The purpose of this exercise is to verify numerically the order of accuracy of the
Lagrange interpolation technique.
Recall the following:
Theorem.
f C n ([
MATH 578, Assignment 1
Alexandra Tcheng
Problem 1
Part A, using an equidistant grid:
Method: In order to test the numerical order of accuracy of the Lagrange interpolation technique, we must be
able to compute the L -norm of the error for various h, while
MATH 578 - PSET #2
Due Thursday November 24th 2011.
1.
One-dimension.
Differentiation
1.1.
For each of the following methods and each of the following
functions, produce a convergence plot to assess the order of the method. Report the
observed order (asym
Course
Number
Telecommunication Networks
Examination
ELEC 463
Date
Final Examination
Section
December 15, 2003
Time
3 Hours
# of pages
2
Instructor (s)
Dr. M. Mehmet Ali
Material allowed :
Calculators allowed :
X
No
No
Yes
X
Yes
Special Instructions:
Atte
DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING CONCORDIA UNIVERSITY TELECOMMUNICATION NETWORKS ELEC 463 QUIZ October 17, 2002 Closed Book Question 1. Give a comparison of circuit and packet-switched networks. ( 10 points) Question 2. In the subscriber
ELEC 463 / 6851
ASSIGNMENT 3
Due Date : April 14, 2009
1.
Exercise 6.4
2.
Exercise 6.5
3.
Exercise 6.14b
4.
Consider a reservation system with N stations. The length of each minislot is m
bits and the information in minislots are always received error fre
ELEC 463/ 6851
ASSIGNMENT 1
Due Date: Oct 18
1.
In a T1 carrier there are 193 bits in a frame and the first bit is the framing bit.
This bit alternates between 0 and 1. Given that each data bit is 1 or 0 with
probability q and 1-q independent of the other
ELEC 6851
PROJECT
The objective of the project is to develop a s imulation program for the nonpersistent
CSMA protocol ( Ref: page 381 in the text). CSMA protocol functions as follows,
i) A user that has a packet to trans mit s ens es the channel. If the
ELEC 6851
PROJECT
The objective of the project is to develop a simulation program for the
nonpersistent CSMA protocol ( Ref: page 381 in the text). CSMA protocol
functions as follows,
i) A user that has a packet to transmit senses the channel. If the chan
Course
Number
Telecommunication Networks
Examination
ELEC 463
Date
Alternate Final Exam
Section
December 12, 2005
Time
3 Hours
# of pages
3
Instructor (s)
Dr. M. Mehmet Ali
Material allowed :
Calculators allowed :
X
No
No
Yes
X
Yes
Special Instructions:
A
Course
Number
Telecommunication Networks
Examination
ELEC 463
Date
Final Examination
Section
December 7, 2005
Time
3 Hours
# of pages
2
Instructor (s)
Dr. M. Mehmet Ali
Material allowed :
Calculators allowed :
X
No
No
Yes
X
Yes
Special Instructions:
Attem
DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING
CONCORDIA UNIVERSITY
TELECOMMUNICATION NETWORKS
ELEC 463
MIDTERM
November 18, 2003
Time: 75 minutes
Closed Book
Question 1. Draw the diagram of a multistage switch that consists of three stages of
smaller
NEW INFORMATION REGARDING THE PROJECT
The project has been divided into phases in order to ease the
implementation. Phase I is described below,
Phase I :
Deadline : November 10, Thursday,
Marks: 5 points
In this phase, it will be assumed that there are no
PHASE II OF THE PROJECT
Phase II is described below,
Phase II :
Deadline : November 22, Tuesday,
Marks: 5 points
In this phase, it will still be assumed that there are no collisions among the
packets of different users. This will be achieved by assuming t
PHASE III OF THE PROJECT
Phase III of the project is described below,
Phase III :
Deadline : December 1, Thursday
In this phase the program of Phase II will be modified to also allow
collisions. This will be achieved by allowing nonzero channel propagatio
References
Almendro et al.: Elektromagnetisches Signalhorn
almendro
Jos L. Almendro et al. Elektromagnetisches Signalhorn. EU-29702195U (FR,
GB, DE). 1998.
Annotations: This is a patent entry with a location eld. The number is given
in the number eld. Not
Chapter 1
Title of rst chapter
This is just ller text [4]. This is just ller text [1]. This is just ller text [2].
This is just ller text [3].
References
[1]
Robert L. Augustine. Heterogeneous catalysis for the synthetic chemist.
New York: Marcel Dekker,