Sciweavers

3068 search results - page 147 / 614
» Separation Results on the
Sort
View
PATAT
2004
Springer
101views Education» more  PATAT 2004»
15 years 11 months ago
Fuzzy Multiple Heuristic Orderings for Examination Timetabling
In this paper, we address the issue of ordering exams by simultaneously considering two separate heuristics using fuzzy methods. Combinations of two of the following three heuristi...
Hishammuddin Asmuni, Edmund K. Burke, Jonathan M. ...
SCOPES
2004
Springer
15 years 11 months ago
An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
Athanasios Milidonis, Grigoris Dimitroulakos, Mich...
ISESE
2003
IEEE
15 years 11 months ago
A Study of Collaboration in Software Design
This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are relatively rare, so this pa...
James Wu, T. C. Nicholas Graham, Paul W. Smith
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
15 years 11 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee
WCRE
2003
IEEE
15 years 11 months ago
Reconstructing Software Architecture for J2EE Web Applications
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
Minmin Han, Christine Hofmeister, Robert L. Nord