|
عنوان مقاله |
نویسنده (ها) |
مربوط به کنفرانس |
چکیده |
|
|
A Two-Layer Framework to Support Minimized- Extendable Components |
Somayeh Malakuti Khah Olun Abadi
Saeed Jalili
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
In this paper, we propose a method that uses domain engineering concepts to design components in a minimizedextendable
manner and to provide required platform to implement these components, we propose a ... مشاهده کامل
In this paper, we propose a method that uses domain engineering concepts to design components in a minimizedextendable
manner and to provide required platform to implement these components, we propose a component
model called AECM that uses aspect-oriented method besides other techniques to improve component
reusability. AECM proposes a component definition language to define component specifications that component
behaviors can be minimized or extended through the language. In addition, AECM proposes an assembly
definition language to wire components; these two languages make software architecture. In this component
model, aspects are some kind of component and all component concepts are applicable to them. AECM
categorizes aspects of a component to two categories: 1) built-in and extension aspects, 2) inter-components
aspects and intra-component aspects, and supports them in different ways to control applicable changing to the
component. AECM supports definition of weave time and runtime aspect application rules in a way that any
changes of the rules will not affect the component implementation. عدم مشاهده کامل
In this paper, we propose a method that uses domain engineering concepts to design components in a minimizedextendable
manner and to provide required platform to implement these components, we propose a ... مشاهده کامل |
خرید مقاله
|
|
A SRLG-Disjoint Routing Algorithm With QoS Consideration |
Mohammad Javad Rostami
Siavash Khorsandi
Ali Asghar Khodaparast
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
A SRLG is a group of network links that share a common physical resource whose failure will cause the failure of all
links of the group. To protect a logical connection ... مشاهده کامل
A SRLG is a group of network links that share a common physical resource whose failure will cause the failure of all
links of the group. To protect a logical connection in a network from a single SRLG failure, two different paths are
usually assigned to the connection. The two paths must be disjoint to avoid synchronous failure. In this paper, we
extend a high-performance link-disjoint routing algorithm called CoLE to SRLG-disjoint routing. The analysis and
the simulation results demonstrate improvement over the previous algorithms. عدم مشاهده کامل
A SRLG is a group of network links that share a common physical resource whose failure will cause the failure of all
links of the group. To protect a logical connection ... مشاهده کامل |
خرید مقاله
|
|
Implementing new algorithms in MPICH for all the collective operations |
Reza Mirani
Mohammad Reza Heidari
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
We report on our work on improving the performance of
collective operations in MPICH on clusters connected by
switched networks.
For each collective operation, we use multiple algorithms
depending on the message size, with ... مشاهده کامل
We report on our work on improving the performance of
collective operations in MPICH on clusters connected by
switched networks.
For each collective operation, we use multiple algorithms
depending on the message size, with the goal of
minimizing latency for short messages and minimizing
bandwidth usage for long messages. Although we have
implemented new algorithms for all MPI collective
operations, because of limited space we describe only the
algorithms for allgather, broadcast,reduce-scatter, and
reduce. We present performance results using the
SKaMPI benchmark on a Myrinet-connected Linux
cluster and an IBM . In all cases, the new algorithms
significantly outperform the old algorithms used in
MPICH on the Myrinet cluster, and, in many cases, they
outperform the algorithms used in IBM’s MPI . عدم مشاهده کامل
We report on our work on improving the performance of
collective operations in MPICH on clusters connected by
switched networks.
For each collective operation, we use multiple algorithms
depending on the message size, with ... مشاهده کامل |
خرید مقاله
|
|
Shape Reconstruction from Space Curves through the Rigid Motion |
Hossein Ebrahimnezhad
Hassan Ghassemian
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
Profiles of an object provide rich information about its geometry and can be used for shape reconstruction
under known object movement. In this paper we propose a method to estimate the ... مشاهده کامل
Profiles of an object provide rich information about its geometry and can be used for shape reconstruction
under known object movement. In this paper we propose a method to estimate the motion from space curves.
The moving object is captured by two cameras during time. A robust curve stereo matching algorithm is
employed to extract the precise location of convinced space curves for any sequence. By tracking of the space
curves, the rigid motion estimation of object can be accomplished. So, by unifying the large number of virtual
cameras, the rays constructed from silhouette are intersected to recover the fine visual hull. Because of using the
curve matching scheme instead of color matching, the proposed method is less sensitive to color adjustment
between cameras and illumination changes of light source. Our method is applicable also to the low-texture
object. عدم مشاهده کامل
Profiles of an object provide rich information about its geometry and can be used for shape reconstruction
under known object movement. In this paper we propose a method to estimate the ... مشاهده کامل |
خرید مقاله
|
|
The Study and Analysis of Effective Parameters on Camera Pose Estimation Process for Virtual Studio |
Kambiz Rahbar
Hamid Reza Pourreza
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
This paper study and analyzes of effective parameters on camera pose estimation process for virtual studio.
The camera pose estimation process, the process of estimating camera extrinsic parameters, is based on ... مشاهده کامل
This paper study and analyzes of effective parameters on camera pose estimation process for virtual studio.
The camera pose estimation process, the process of estimating camera extrinsic parameters, is based on closedform
geometrical approaches which is used the benefic of simple corners detection of 3D cubic-like virtual
studio’s landmarks. Our studies include all landmarks characteristic parameters like landmark’s lengths,
landmark’s corners angles and its installation position errors; and some camera parameters like lens’ focal
length and CCD resolution. We study and analyze all these parameters efficiency on camera extrinsic
parameters including camera rotation and position matrixes through computer simulation. We found that the
camera transaction matrix is infected more than other camera extrinsic parameters by the noise of effective pose
estimation parameters. عدم مشاهده کامل
This paper study and analyzes of effective parameters on camera pose estimation process for virtual studio.
The camera pose estimation process, the process of estimating camera extrinsic parameters, is based on ... مشاهده کامل |
خرید مقاله
|
|
SOPC-Based Particle Swarm Optimization |
Amin Farmahini-Farahani
Sied Mehdi Fakhraie
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
The complexity of the modern chips is rising and fundamental changes in systems design are necessary. Systemon-
a-Programmable-Chip (SOPC) concept is bringing a major revolution in the design of integrated circuits, ... مشاهده کامل
The complexity of the modern chips is rising and fundamental changes in systems design are necessary. Systemon-
a-Programmable-Chip (SOPC) concept is bringing a major revolution in the design of integrated circuits, due
to the flexibility it provides and complexity it caters to. Particle Swarm Optimization (PSO) is a new powerful
function optimizer that is used successfully to solve problems in numerous fields. A major downside of PSO and
many evolutionary algorithms is that they have essential difficulties in their huge computation time due to
sequential execution in software implementation. By implementing a modified particle swarm optimizer in
hardware, many of the computations can be preformed simultaneously, significantly reducing computation time
compared to software. In this paper, a SOPC-based PSO framework is proposed. The obtained results indicate a
speedup of up to 40 times in the elapsed computation time. عدم مشاهده کامل
The complexity of the modern chips is rising and fundamental changes in systems design are necessary. Systemon-
a-Programmable-Chip (SOPC) concept is bringing a major revolution in the design of integrated circuits, ... مشاهده کامل |
خرید مقاله
|
|
A System-Level Verification Methodology Using Performance and Functional Assertions |
Hassan Hatefi Ardakani
Amir Masoud Gharehbaghi
Shaahin Hessabi
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
As the designs get more complex, more sophisticated verification methodologies are required. At higher
levels of abstraction, design and verification methodologies are required to minimize the cost of electronic
product design. In ... مشاهده کامل
As the designs get more complex, more sophisticated verification methodologies are required. At higher
levels of abstraction, design and verification methodologies are required to minimize the cost of electronic
product design. In this paper we integrate an assertion-based verification methodology with our objectoriented
system-level synthesis methodology. Functional and performance assertions, based on Property
Specification Language (PSL) and Logic of Constrains (LOC) are written during design process. Trace
checkers are automatically generated to validate particular simulation runs or to analyze their performance
characteristic(s). Following the case study, we demonstrate that the assertion-based verification is
highly useful for both functional and performance system-level verification. عدم مشاهده کامل
As the designs get more complex, more sophisticated verification methodologies are required. At higher
levels of abstraction, design and verification methodologies are required to minimize the cost of electronic
product design. In ... مشاهده کامل |
خرید مقاله
|
|
Probabilistic Model Checking: A Comparison of GPMC versus PRISM |
Mostafa Nouri Baygi
Ali Movaghar Rahimabadi
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare
it with existing well-known tool in this scope PRISM. Some case studies are presented ... مشاهده کامل
We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare
it with existing well-known tool in this scope PRISM. Some case studies are presented to show the efficiency and
performance of it against PRISM. Two of these case studies are collected from several examples that were used
for testing PRISM and another one is an extended simple example of a DTMC. We explain in each case study the
powers and weaknesses of these tools, and find new methods for solving weaknesses. عدم مشاهده کامل
We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare
it with existing well-known tool in this scope PRISM. Some case studies are presented ... مشاهده کامل |
خرید مقاله
|
|
Development of a Co-Simulation Environment in a System Level Design Methodology |
Nasim Zeinolabedini
Shaahin Hessabi
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
In this paper, we present a cycle-accurate co-simulation environment developed for verification and
performance evaluation of OO-ASIP in our ODYSSEY design methodology. This environment is composed of a
processor Instruction Set Simulator ... مشاهده کامل
In this paper, we present a cycle-accurate co-simulation environment developed for verification and
performance evaluation of OO-ASIP in our ODYSSEY design methodology. This environment is composed of a
processor Instruction Set Simulator (ISS) integrated with a hardware simulator and communicate with it
through socket connections. We demonstrate the effect of our co-simulation method in increasing speed of
simulation without missing cycle accuracy of results by means of two case studies. عدم مشاهده کامل
In this paper, we present a cycle-accurate co-simulation environment developed for verification and
performance evaluation of OO-ASIP in our ODYSSEY design methodology. This environment is composed of a
processor Instruction Set Simulator ... مشاهده کامل |
خرید مقاله
|
|
Employing MDA in Enterprise Architecture |
S. Shervin Ostadzadeh
Fereidoon Shams
S. Arash Ostadzadeh
|
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
As enterprises become increasingly information based, making improvements in their information activities is an
essential priority to guarantee their continuing competitiveness. A key to achieve these improvements is
developing an Enterprise Architecture ... مشاهده کامل
As enterprises become increasingly information based, making improvements in their information activities is an
essential priority to guarantee their continuing competitiveness. A key to achieve these improvements is
developing an Enterprise Architecture (EA). EA typically encompasses an overview of the entire information
system in an enterprise, including the software, hardware, and information architectures. In this paper, we aim
the use of Model Driven Architecture (MDA) in Enterprise Architecture. MDA is the most recent approach
which is introduced by OMG to improve software development. Our goal is to apply MDA to EA across multiple
hierarchical levels ranging from business to IT. However, it is considered as an extension of the initial scope of
MDA, but we show that MDA can play a pivotal role in this case. It enables various specialists to reason about
and design business and IT systems that are truly integrated. The overall benefit is an increase in the project
success rate. عدم مشاهده کامل
As enterprises become increasingly information based, making improvements in their information activities is an
essential priority to guarantee their continuing competitiveness. A key to achieve these improvements is
developing an Enterprise Architecture ... مشاهده کامل |
خرید مقاله
|
.gif){kind=icon}
