NDLI: Three-phase simulated annealing algorithms for exam scheduling

Please wait, while we are loading the content...

2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA)

2013 ACS International Conference on Computer Systems and Applications (AICCSA)

2011 9th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)

ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010

2009 IEEE/ACS International Conference on Computer Systems and Applications

2008 IEEE/ACS International Conference on Computer Systems and Applications

2007 IEEE/ACS International Conference on Computer Systems and Applications

IEEE International Conference on Computer Systems and Applications, 2006.

The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005.

ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts.

Table of Contents

Compact iterative hardware simulation model for Montgomery's algorithm of modular multiplication

Hardware simulation model suitable for recursive computations: Karatsuba-Ofman's multiplication algorithm

Micro-architecture generation and simulation from high-level synthesis environment

Multiplexed systolic shared registers

Generative sequence diagrams for requirements specification in real-time systems

Scheduling algorithms for ultra-reliable execution of tasks under both hardware and software faults

Mapping and performance analysis of the Twofish algorithm on MorphoSys

Integrating FNLLOG and STATEMATE for the specification and validation of real time systems

Design of large-scale symmetric multiprocessors (SMPs) using parallel optical interconnects

GF(2 K) elliptic curve cryptographic processor architecture based n bit level pipelined digit serial multiplication

Algorithms for the partitioning of applications containing variable duration tasks on reconfigurable architectures

Mapping high level algorithms onto massively parallel reconfigurable hardware

Linear filtering using reconfigurable computing

Fault-tolerant computing on cluster of workstations

Optical bus based fully shuffled trees for massively parallel systems

Design and implementation of an automatic road network map processing system using GPS technology

Efficient data communication techniques for controller area network (CAN) protocol

Modeling end-to-end QoS management and resource reservation for multimedia mobile radio network

A separate-queue multicast architecture for high-speed routers

Integration of DiffServ over MPLS : an improved quality of service architecture

Lost call traffic in circuit switched networks

Distributed parallel scheduling algorithms for high speed virtual output queuing switches

Memory performance evaluation for networking applications

Vehicle Internet Appliance (VIA)

A lightweight multi-session synchronous multimedia collaborative environment

PRISMA: a prioritized slotted multiple access protocol for bank data center LANs

Developing strategies for our UMTS multimedia data flow adaptation model

Post-restoration strategies in ASTN-based optical mesh networks

Payment security in mobile environment

Fractal addressing management for federated and P2P networks

Mobility impact on mobile ad hoc routing protocols

Building wireless Internet services: state of the art

Advanced research on wireless LANs operating at EHF frequency band

Seamless intra-domain handoff using simultaneous bindings

Adaptive quality of service resource management in IP networks

Metamodeling and measurement for the software process improvement

Distributed software process models: an integration methodology

The Mobile Unified Modeling Language for an agent-based bartering software application

Dynamic software development: towards continuous growth

Evaluating software architectures: development, stability, and evolution

Integrity enforcement in relational systems with active and deductive capabilities

Definition of a new kind of UML stereotype based on OMG metamodel

Distributed framework for real time Web based collaboration: M7Tool CASE

Including workflow concurrent modelling in an extension of the UML activity diagram metamodel

A graphical language for defining views in object oriented databases

Time-stamping electronic documents and signatures

BizArk: a reusable e-business architecture based on pattern-oriented technology

Advanced management of documents integrity in an intranet environment

Data quality management improvement

A support toolset for the development in a temporal database environment

Data mining techniques in single-column indexes

On performance analysis of Web oriented systems

A taxonomy of transformation methods for structured documents

Techniques for implementing efficient Java thread serialization

Chameneos, a concurrency game for Java, Ada and others

Specification fragments with defined semantics to support SW-evolution

Security-based approach to data consistency in a virtual enterprise

Quantifying architectural attributes

Comparative evaluation of object request broker technologies

Adaptive electronic technical manuals (AETMs)

Methodology for architecture level hazard analysis, a survey

On the embedding of the MDG specification languages in HOL

Symbolic model checking for real time systems using difference typed decision graphs

A provably correct functional programming approach to the prototyping of formal Z specifications

Constraint propagation versus local search for incremental temporal constraint problems

A formal model for flat role-based access control

Using formal methods to model the dynamic behavior of agent-based systems

Formal specification of design patterns: a comparison

Promotion of specifications

Timed alternating finite automata

Secret key cryptography with cellular automata

Optimization of Web applications by graph transformations

Contribution to contours closing by a Markovian approach

Abstract model checking infinite state systems

Extension of fuzzy Galois connection for information retrieval using a fuzzy quantifier

Tabu search for the k-graph partitioning problem

The resolution of the no-idle flow-shop problem

A mapping framework for EDI message translation

Synthesizing data structure requirements from algorithm specifications: case studies from recursive subdivision for computer graphics and animation

Using design patterns to design and manipulate spatial access structure

Three-phase simulated annealing algorithms for exam scheduling

Parallel code generation respecting allocation

An empirical investigation of simulated annealing applied to property-oriented testing

Capacities adjustment in the context of contract-order

On "learning term rewriting systems from entailment"

Assistance for integrating methods based on conceptual graphs

Correcting faulty conjectures by logic program synthesis

Implementation of an environment of symbolic model checking based on the TDGs

Maximality-based symbolic model checking

Verification of duration systems with one preemption

Verification techniques for deadlock and real time constraint violation

Enhancing database information retrieval by exploiting uncertainty measuring and multiple-valued decision diagrams

An "almost automatic" and semantic approach for integrating XML sources at various flexibility levels

K-nearest neighbor and C4.5 algorithms as data mining methods: advantages and difficulties

A hybrid approach for Arabic speech recognition

Speaker independent isolated speech recognition for Arabic language using hybrid HMM-MLP-FCM system

Neuro-classification for handwritten Arabic text

Using genetic algorithms to optimize the number of classification rules in SUCRAGE

Fuzzy classification system for outdoor video databases retrieval

Web data accessing and the Web searching process

Verifying properties of online adaptive systems

Knowledge evaluation in online educational systems

An overview of e-commerce technologies and challenges

Supervised learning using modifiers: application in colorimetrics

Development of evolutionary models for long-term load of power plant systems

Hybrid connectionist approach for knowledge discovery from Web navigation patterns

EFLE: an environment for generating lingware systems code from formal requirements specification

The EE-method, an evolutionary engineering developer tool: neural net case study

MEDINA: a case study for multichannel Web design

Multi-agent collaboration: an e-commerce example

Deforming Catmull-Clark subdivision surfaces for computer graphics

A robust multi-primitive approach for image mosaicing

Using graph representation in content-based image retrieval

A simple sign language finger spelling system

Early-halting criteria for instance-based learning

Self-stabilizing scheduling algorithm for cooperating robots

Test data generation based on binary search for class-level testing

Mobile-based support for business processes: feasibility and correctness

Arabic speech clustering using a new algorithm

Genetic fractal image compression

Wiener filter in two-dimensional case applied to corrected images

Analytic model for MPEG-4 and H.263 encoded video traces

Objective and cost-efficient approach for skin lesions classification

A modular verification methodology for D-NRI Petri nets

ADD: Arabic duplicate detector - a duplicate detection data cleansing tool

The adoption of workflow systems in a developing country

Fusion and classification of remote sensing images using fuzzy logic

Proceedings ACS/IEEE International Conference on Computer Systems and Applications

Three-phase simulated annealing algorithms for exam scheduling

Content Provider	IEEE Xplore Digital Library
Author	Mansour, N. Tarhini, A. Ishakian, V.
Copyright Year	2003
Description	Author affiliation: Comput. Sci. Program, Lebanese American Univ., Beirut, Lebanon (Mansour, N.; Tarhini, A.; Ishakian, V.)
Abstract	Summary form only given. Scheduling of final exam usually results in conflicts and inconvenience. Conflicts occur when simultaneous exams are scheduled for the same student, and inconvenience to a student refers to consecutive exams or more than two exams on the same day. A good exam schedule should aim to minimize conflicts and the two inconvenience factors based on weight that are user-assigned to these three factors and subject to some constraints such as the number and capacities of classrooms. Scheduling final exams for large numbers of courses and students in universities is an intractable problem. We decompose the problem into three phases and propose simulated annealing algorithms for these phases. Hence, we refer to our solution methods as 3-phase simulated annealing (3PSA). We empirically compare 3PSA with a 4-phase clustering-based heuristic algorithm using realistic data. Our experimental results show that 3PSA produces good exam schedules, which are better than those of the clustering heuristic procedure.
Sponsorship	Arab Comput. Soc. IEEE Comput. Soc
File Size	34566
File Format	PDF
ISBN	0780379837
DOI	10.1109/AICCSA.2003.1227522
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2003-07-14
Publisher Place	Tunisia
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Simulated annealing Scheduling algorithm Processor scheduling Computational modeling Computer science Electronic mail Clustering algorithms Heuristic algorithms
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in