719-016
|
An Online System for Octuple-Precision Computation
Takemitsu Hasegawa, Yohsuke Hosoda, and Kohtaro Hirai
doi:
10.2316/P.2011.719-016
|
Abstract
|
|
719-036
|
Numerical Simulation of the Complex Ginzburg-Landau Equation on GPUs with CUDA
Kenneth A. Hawick and Daniel P. Playne
doi:
10.2316/P.2011.719-036
|
Abstract
|
|
719-067
|
Design of a Reconfigurable Pipelined Switch for Faulty On-Chip Networks
Hsin-Chou Chi and Tat-Seng Chang
doi:
10.2316/P.2011.719-067
|
Abstract
|
|
719-055
|
Dynamic Communication Performance of a Hierarchical 3D-Torus Network
M.M. Hafizur Rahman, Yukinori Sato, Yasuyuki Miura, and Yasushi Inoguchi
doi:
10.2316/P.2011.719-055
|
Abstract
|
|
719-049
|
On BPC Permutations Admissibility to Variable-Stage Hybrid Optical Shuffle-Exchange Networks
Gennady Veselovsky
doi:
10.2316/P.2011.719-049
|
Abstract
|
|
719-017
|
Energy-Efficient Server Rack Cooling using Feedforward Control: Benefits and Problems
Burkhard Hensel and Klaus Kabitzsch
doi:
10.2316/P.2011.719-017
|
Abstract
|
|
719-025
|
Task Allocation Method for Avoiding Contentions by the Information of Concurrent Communications
Yoshiyuki Morie, Takeshi Nanri, and Motoyoshi Kurokawa
doi:
10.2316/P.2011.719-025
|
Abstract
|
|
719-026
|
Performance Evaluation of Semi-Fixed-Priority Scheduling on Prioritized SMT Processors
Hiroyuki Chishiro and Nobuyuki Yamasaki
doi:
10.2316/P.2011.719-026
|
Abstract
|
|
719-059
|
Efficient Data Service Design for a SOA Approach to Scientific Computing
Jaison P. Mulerikkal and Peter Strazdins
doi:
10.2316/P.2011.719-059
|
Abstract
|
|
719-031
|
Redundant Execution of HPC Applications with MR-MPI
Christian Engelmann and Swen Böhm
doi:
10.2316/P.2011.719-031
|
Abstract
|
|
719-070
|
Invasive Programming as a Concept for HPC
Michael Bader, Hans-Joachim Bungartz, Michael Gerndt, Andreas Hollmann, and Josef Weidendorfer
doi:
10.2316/P.2011.719-070
|
Abstract
|
|
719-065
|
Failure Prediction in Video-Streaming Servers through Performance Analysis of Server and Client-Server Interactions
Carlos A.S. Cunha and Luis M. e Silva
doi:
10.2316/P.2011.719-065
|
Abstract
|
|
719-060
|
Expanding the COPAR Service using Mutual Exclusion, Optimization and C++ Threads in Opnet Modeler
Rhea L. Seegobin and Michael A. Hosein
doi:
10.2316/P.2011.719-060
|
Abstract
|
|
719-033
|
Load-Balanced Generation of a Restricted Set of Combinations
Boštjan Slivnik and Igor Rožanc
doi:
10.2316/P.2011.719-033
|
Abstract
|
|
719-028
|
Reexamining the Parallelization Schemes for Standard Full Tableau Simplex Method on Distributed Memory Environments
Basilis Mamalis, Grammati Pantziou, Georgios Dimitropoulos, and Dimitrios Kremmydas
doi:
10.2316/P.2011.719-028
|
Abstract
|
|
719-061
|
Handling of Inter-Thread Memory Access Dependencies for Automatic Binary-Code Parallelization
Kanemitsu Ootsu, Takashi Shiroto, Takashi Yokota, and Takanobu Baba
doi:
10.2316/P.2011.719-061
|
Abstract
|
|
719-045
|
Parallelization Strategy for Hierarchical Run Length Encoded Data Structures
Lado Filipović, Otmar Ertl, and Siegfried Selberherr
doi:
10.2316/P.2011.719-045
|
Abstract
|
|
719-011
|
Adaptive Thread Scheduling Techniques for Improving Scalability of Software Transactional Memory
Kinson Chan, King Tin Lam, and Cho-Li Wang
doi:
10.2316/P.2011.719-011
|
Abstract
|
|
719-024
|
SLA-based Asynchronous Coordination in Metacomputing Environments
Pawel Rubach
doi:
10.2316/P.2011.719-024
|
Abstract
|
|
719-068
|
OSPaaS: OSGi Service Platform as a Service
Sebastian Garwers, Anthony Sulistio, and Christoph Reich
doi:
10.2316/P.2011.719-068
|
Abstract
|
|
719-035
|
Adaptive Workflow Scheduler with Advance Reservation in Economic Grid Systems
Anthony Sulistio, Udo Hönig, Christoph Reich, and Wolfram Schiffmann
doi:
10.2316/P.2011.719-035
|
Abstract
|
|
719-062
|
A New Replication Strategy for Data Grids
Faouzi Ben Charrada, Hanène Chettaoui, and Rakia Mili
doi:
10.2316/P.2011.719-062
|
Abstract
|
|
719-063
|
Mapping Distributed Heterogeneous Systems to a Common Language by Applying Ontologies
Elisabeth Vinek, Peter P. Beran, and Erich Schikuta
doi:
10.2316/P.2011.719-063
|
Abstract
|
|
719-050
|
Evaluating Nested Virtualization Support
Sam Verboven, Ruben Van den Bossche, Olivier Berghmans, Kurt Vanmechelen, and Jan Broeckhove
doi:
10.2316/P.2011.719-050
|
Abstract
|
|
720-036
|
Verifying UML in Prolog
Li Tan, Zongyuan Yang, and Jinkui Xie
doi:
10.2316/P.2011.720-036
|
Abstract
|
|
720-047
|
Translating Timed Automata to Tock-CSP
Maneesh Khattri, Joël Ouaknine, and Andrew W. Roscoe
doi:
10.2316/P.2011.720-047
|
Abstract
|
|
720-057
|
Automatically Generating Functional Scenarios from SOFL CDFD for Specification Inspection
Mo Li and Shaoying Liu
doi:
10.2316/P.2011.720-057
|
Abstract
|
|
720-055
|
Requirement Analysis for Reducing Energy Consumption without Degrading User Satisfaction
Takanobu Ando, Ryu Nakazato, and Tetsuji Fukaya
doi:
10.2316/P.2011.720-055
|
Abstract
|
|
720-048
|
Enhancement of Requirements Specification Traceability by Model Driven Requirements Analysis Employing Automatic Prototype Generation
Shinpei Ogata, Saeko Matsuura, Rie Sakai, Hiroyuki Sato, and Toru Kobayashi
doi:
10.2316/P.2011.720-048
|
Abstract
|
|
720-015
|
Testability Metrics for Extended Finite State Machines
Binh T. Nguyen, Michel Delaunay, and Chantal Robach
doi:
10.2316/P.2011.720-015
|
Abstract
|
|
720-013
|
Managing the Requirements Changes in the UML based Projects
Dariusz Dymek
doi:
10.2316/P.2011.720-013
|
Abstract
|
|
720-064
|
Organizational Chart for Engineering of Requirements
José F. Zelasco and Judith Donayo
doi:
10.2316/P.2011.720-064
|
Abstract
|
|
What are Digital Object Identifers?