close
1.

図書

図書
edited by Bart De Decker ... [et al.]
出版情報: Boston : Kluwer Academic, c2002  xi, 202 p. ; 25 cm
所蔵情報: loading…
2.

図書

図書
edited by Deryn Watson, Jane Andersen
出版情報: Boston : Kluwer Academic Publishers, c2002  xxxiv, 990p. ; 25 cm
所蔵情報: loading…
3.

図書

図書
edited by Rolf Stadler, Mehmet Ulema
出版情報: Piscataway, NJ : IEEE Operations Center, c2002  xvii, 1026 p. ; 25 cm
所蔵情報: loading…
4.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York : Association for Computing Machinery, c2005  xx, 336 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York : Association for Computing Machinery, c2004  xiv, 258 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
editors Liria M. Sato ... [et al.] ; sponsored by Brazilian Computer Society (SBC) ; co-sponsored by IFIP, International Federation for Information Processing ; in cooperation with IEEE Computer Society ; organization Universidade São Paulo
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 2003  xiii, 269 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
Reviewers
Brazilian Computer Society (SBC)
Cache and Memory Architectures / Session 1:
Exploring Memory Hierarchy with ArchC / P. Viana ; E. Barros ; S. Rigo ; R. Azevedo ; G. Araujo
Adaptive Compressed Caching: Design and Implementation / R. de Castro ; A. Pereira do Lago ; D. Menezes da Silva
Enabling Dual-Core Mode in BlueGene/L: Challenges and Solutions / G. Almasi ; L. Bachega ; S. Chatterjee ; M. Gupta ; D. Lieber ; X. Martorell ; J. Moreira
Processor Architectures / Session 2:
Complex Branch Profiling for Dynamic Conditional Execution / R. dos Santos ; T. dos Santos ; M. Pilla ; P. Navaux ; S. Bampi ; M. Nemirovsky
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors / A. da Costa ; F. Franca ; B. Childers ; M.L. Soffa
Languages and Tools for Parallel and Distributed Programming / Session 3:
JRastro: A Trace Agent for Debugging Multithreaded and Distributed Java Programs / G. Jacques da Silva ; L. Mello Schnorr ; B. de Oliveira Stein
On the Implementation of SPMD Applications Using Haskell# / F. Heron de Carvalho Jr. ; R. Dueire Lins ; N. Cruz Quental
Performance Analysis of DECK Collective Communication Service / R. Silva ; D. Picinin ; M. Barreto ; R. Avila ; T. Diverio
A Modeling Methodology and Pre-Runtime Scheduling for Embedded Real-Time Software / R. Barreto ; P. Maciel ; S. Cavalcante
Grid, Cluster and Pervasive Computing / Session 4:
Performance Issues of Bandwidth Reservations for Grid Computing / L.-O. Burchard ; H.-U. Heiss ; C. De Rose
An Evaluation of cJava System Architecture / A. Faustino da Silva ; M. Lobosco ; C. Luis de Amorim
ProGrid: A Proxy-Based Architecture for Grid Operation and Management / P. Capellotto Costa ; S. Donizetti Zorzo ; H. Crestana Guardia
High Performance Applications I / Session 5:
Optimizing Packet Capture on Symmetric Multiprocessing Machines / G. Varenni ; M. Baldi ; L. Degioanni ; F. Risso
A Parallel Implementation of the LTSn Method for a Radiative Transfer Problem / R. Souto ; H. de Campos Velho ; S. Stephany ; A. Preto ; C. Segatto ; M. Vilhena
Parallel Implementation of a Lattice-Gauge-Theory Code: Studying Quark Confinement on PC Clusters / A. Cucchieri ; T. Mendes ; G. Travieso ; A. Taurines
High Performance Applications II / Session 6:
Applying Scheduling by Edge Reversal to Constraint Partitioning / M. Rodriguez Pereira ; P. Kayser Vargas ; M. Clicia Stelling de Castro ; I. De Castro Dutra
Comparison of Genomes Using High-Performance Parallel Computing / N. Almeida Jr. ; C. Alves ; E. Caceres ; S. Song
Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing / J. Paulo de Angeli ; A. Valli ; N. Reis Jr. ; A. De Souza
Parallel and Distributed Algorithms / Session 7:
New Parallel Algorithms for Frequent Itemset Mining in Very Large Databases / A. Veloso ; W. Meira Jr. ; S. Parthasarathy
BSP/CGM Algorithm for Maximum Matching in Convex Bipartite Graphs / J. Soares ; M. Stefanes
A BSP/CGM Algorithm for Computing Euler Tours in Graphs / C. Nasu
Performance Analysis Issues for Parallel Implementations of Propagation Algorithm / L. Brenner ; L. Gustavo Fernandes ; P. Fernandes ; A. Sales
Load Balancing and Scheduling / Session 8:
Dynamic Load Balancing in PC Clusters: An Application to a Multi-Physics Model / R. Vargas Dorneles ; R. Luis Rizzi
Hybrid Task Scheduling: Integrating Static and Dynamic Heuristics / C. Boeres ; A. Lima ; V. Rebello
Load Balancing on Stateful Clustered Web Servers / G. Teodoro ; T. Tavares ; B. Coutinho ; D. Guedes
Benchmarking, Performance Measurements and Analysis / Session 9:
PM2P: A Tool for Performance Monitoring of Message Passing Applications in COTS PC Clusters / M. Haridasan ; G. Pfitcher
Profiling and Optimization of Software-Based Network-Analysis Applications
Boosting Performance for I/O-Intensive Workload by Preemptive Job Migrations in a Cluster System / X. Qin ; H. Jiang ; Y. Zhu ; D. Swanson
Reconfigurable Systems / Session 10:
Three Hardware Implementations for the Binary Modular Exponentiation: Sequential, Parallel and Systolic / N. Nedjah ; L. de Macedo Mourelle
Fast Parallel FFT on a Reconfigurable Computation Platform / A. Kamalizad ; C. Pan ; N. Bagherzadeh
X4CP32: A New Hybrid Parallel/Reconfigurable General-Purpose Processor / R. Soares ; A. Azevedo ; I. Saraiva Silva
Author Index
Message from the General Chair
Message from the Program Chair
Conference Organizers
7.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York, N.Y. : ACM, c2003  xiv, 234 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
edited by Susan Finger, Tetsuo Tomiyama, Martti Mäntylä
出版情報: Boston : Kluwer Academic Publishers, c2000  xi, 326 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
Invited Talk / Part 2:
Supporting the Knowledge Life-Cycle / Blessing, L. ; Wallace, K.2.:
Ontology / Part 3:
Ontological Commitments in Knowledge-Based Design Software: A Progress Report / Salustri, F.A.3.:
Classification of Knowledge for Generating Engineering Models -A Case Study of Model Generation in Finite Element Analysis- / Sekiya, T. ; Tsumaya, A.4.:
Design History System: Data Models and Prototype Implementation / Shah, J.J. ; Rangaswamy, S. ; Qureshi, S. ; Urban, S.D.5.:
Knowledge Intensive Cad (Kic) / Part 4:
Modeling of Product Life-cycle Knowledge and Data for an Intelligent Concurrent Design System / Xue, D.6.:
Model Sharing among Agents in a Concurrent Product Development Team / Ozawa, M. ; Cutkosky, M.R. ; Howley, B.J.7.:
Design-to-Manufacture Information Transfer in the Context of Solid Freeform Fabrication Technologies / Rosen, D.W.8.:
An Application of the Knowledge Intensive Engineering Framework to Building Foundation Design / Yoshioka, M. ; Shamoto, Y.9.:
Knowledge Intensive Design (Kid) / Part 5:
Supporting Conceptual Design: A Model for Reflective-Interactive Design / Chan, B. ; Finger, S.10.:
A Knowledge Based Engineering Application to Support Weight Distribution Analysis for IRL Cars / Susca, L. ; Mandorli, F. ; Rizzi, C. ; Cugini, U.11.:
Lens Barrel Design Based On Distributed Knowledge-Base / Bok, K. ; Myung, S. ; Han, S.-H.12.:
Knowledge Representation for Kic / Part 6:
Guiding Agent Learning in Design / Grecu, D.L. ; Brown, D.C.13.:
A KICAD Tool For Pro-Active Exploration Support To 'Design Synthesis For Multi-X' / Borg, J.C. ; Yan, X.-T. ; Juster, N.P.14.:
Author index
Keyword index
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
9.

図書

図書
edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Heinz-H. Erbe
出版情報: Boston, MA : Kluwer Academic, c2000  ix, 484 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 53
所蔵情報: loading…
目次情報: 続きを見る
Technical Co-Sponsors
Program Committee
Preface: Towards Networked Enterprising
Integration in Virtual Enterprises / Part 1:
Supporting Business Process Management and Coordination in a Virtual Enterprise / L. M. Camarinha-Matos ; C. Pantoja-Lima1.:
Towards Focused Markets of Resources for Agile Virtual Enterprise Integration / M. M. Cunha ; G. D. Putnik ; P. Avila2.:
System Architectures for Manufacturing Co-Ordination in Complex Supply Networks / H. Loh ; T. M. Rupp ; M. Ristic3.:
Information Management in Virtual Enterprises / Part 2:
Federated Query Processing for Distributed Process Coordination in Virtual Enterprises / C. Garita ; H. Afsarmanesh ; Y. Ugur ; L. O. Hertzberger4.:
An Internet Solution for Virtual Enterprises Based on an Object-Oriented Real-Time Database / G. Schaub5.:
Enterprise Engineering and Intergration in the Global Environment / K. Kosanke ; F. B. Vernadat ; M. Zelm6.:
Distributed Production in Virtual Enterprises / Part 3:
Enacting Dynamic Distribution Networks--the Damascos Project / T. Goletz ; J. J. Pinto Ferreira7.:
For a Smart Coordination of Distributed Business Processes / R. J. Rabelo ; A. P. Klen ; A. C. Ferreira8.:
Distributed Production with Specification-Generated Processes / T. Janowski9.:
Creation of Virtual Enterprises / Part 4:
Virtual Production Network Configuration: Acs-Approach and Tools / F. Golm ; A. V. Smirnov10.:
Virtual Industry Clusters: Foundation to Create Virtual Enterprises / M. Flores ; A. Molina11.:
A Method for Identifying and Evaluating Core Competencies' Constituent Skills for Virtual Industry Clusters / J. E. M. Siqueira ; C. F. Bremer12.:
Cooperative Work / Part 5:
Using Multiversion Web Servers for Data-Based Synchronization of Cooperative Work / J. Rykowski13.:
Evaluation of Workflow Management Technology for the Co-Ordination of Telework / P. Araujo ; J. J. P. Ferreira ; D. Forster ; J. Goletz ; F. Heller ; E. Mendes ; E. Stoilas14.:
Learning Processes in Networked Enterprises / H.-H. Erbe15.:
Multi-Agent Systems / Part 6:
Adaptive Mobile Agents: Enhanced Flexibility in Internet-Based Remote Operation / W. Vieira16.:
Acquaintance Model in Re-Planning and Re-Configuration / V. Marik ; M. Pechoucek ; O. Stepankova17.:
Multi-Agent Based Supply Chain Management with Market Emergence Phenomenon / T. Kaihara18.:
Economic Aspects of New Infrastructures / Part 7:
The Delta Model: A Framework for the Effective Implementation of it to Enable Organizational Change / H. Boekhoff19.:
Economic Evaluation of Delays Reduction: A Global Approach / A. Dumolard ; M. Pouly ; R. Glardon20.:
E-Commerce: The Virtual Battlefield / T. Litzinger ; J. A. Wise21.:
Human and Social Aspects / Part 8:
Implementation Methodology of Complex Manufacturing Environment in a Brownfield Site / A. B. Moniz ; P. Urze22.:
Complex Objects and Anthropocentric Systems Design / F. W. Bruns23.:
Balancing Automation and Human Work in Environment Oriented Student Projects / D. Brandt ; A. Blum ; A. Woyke24.:
Human Interfaces / Part 9:
Concept Sharing Between Human and Interface Agent Under Time Criticality / T. Sawaragi ; T. Ogura25.:
Virtual Reality User Interface for Autonomous Production / C. Schlick ; R. Reuth ; H. Luczak26.:
Design of Deadlock Avoidance Compensators for Anthropocentric Production Systems / P. E. Miyagi ; D. J. Santos Filho ; W. M. Arata27.:
Production Scheduling / Part 10:
Integration of Maintenance Constraints in Scheduling: Fuzzy Modelling and Multi-Agent Approach / T. Coudert ; B. Grabot ; B. Archimede28.:
Autonomous Multi-Agents Architecture for Control of Manufacturing Systems / B. Bouzouia ; Y. Hafri ; T. Boudellal29.:
A Genetic Algorithm for the Dynamic Single Machine Scheduling Problem / A. Madureira ; C. Ramos ; S. C. Silva30.:
Knowledge and Information Management / Part 11:
Multi-Agent Systems and Enterprise Modeling / G. Pepiot31.:
Knowledge Management in a Distributed Organisation / M. Dzbor ; J. Paralic ; M. Paralic32.:
Integrated Product Data Management Based on a Uniform User Interface / W. Woss33.:
Information Technology in Transportation / Part 12:
Evaluating Visual Display Designs in Vehicles: Advantages and Disadvantages of the Occlusion Technique / J. F. Krems ; A. Keinath ; M. Baumann ; C. Gelau ; K. Bengler34.:
Objective Evaluation of the Complexity of Usage for Car Infotainment Systems / R. M. Jung ; H.-P. Willumeit35.:
Human Interface for Heart Rate Control During Bicycle Ergometer Exercise / K. Yokoyama ; H. Hidaka ; Y. Miura ; Y. Mizuno36.:
Automation and Control / Part 13:
Modeling and Control of an Omnidirectional Mobile Robot / S.G. Tzafestas ; T. Krikochoritis ; A. Melfi37.:
CNC Machine Ruled Surface Interpolation: A Neural Network Approach for Cheap Processing / L. R. Canali ; M. R. Modesti ; E. A. Destefanis38.:
Various Approaches in Classification of Technical Processes / P. Becvar ; L. Muller39.:
Sensors and Automation / Part 14:
A Simple Hand-Eye Calibration Method for a 3D Laser Range Sensor / M. Sallinen ; T. Heikkila40.:
Advanced Microwave Sensor Based Control Concept for Concrete Production / J. Kickstein ; J. Held ; U. Kirchhoff41.:
Electrical Energy Conservation in a Commercial Building with systems Automation / J. R. Pinto ; C. C. Moraes ; A. F. Brandao Jr.42.:
Simulation / Part 15:
Integrating Manufacturing Simulation Tools Using Distributed Object Technology / N. Senin ; R. Groppetti ; A. Rossi ; D. R. Wallace43.:
Simulation of Agent-Based Controlled Production Networks by Distributed Simulation Models / G. Seliger ; M. Ciupek44.:
Multimodelling and Simulation: The First Step in the Implementation of an Automation Project in a SME / H. P. Moruzzi ; G. D. Tripodi45.:
Author Index
Technical Co-Sponsors
Program Committee
Preface: Towards Networked Enterprising
10.

図書

図書
edited by M.J.D. Powell, S. Scholtes
出版情報: London : Kluwer Academic, c2000  viii, 347 p. ; 25cm
シリーズ名: The International Federation for Information Processing ; 46
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Topology Design of Structures, Materials and Mechanisms - Status and Perspectives / M.P. Bendoe
MIP: Theory and Practice - Closing the Gap / R.E. Bixby, et al.
On the Role of Natural Level Functions to Achieve Global Convergence for Damped Newton Methods / H.G. Bock, et al.
Computational Experience with a Parallel Implementations of an Interior-Point Algorithm for Multicommodity Network Flows / J. Castro
Modelling the Behavior of Systems: Basic Concepts and Algorithms / T. Cotroneo ; J.C. Willems
Lipschitzian Stability of Newton's Method for Variational Inclusions / A.L. Dontchev
SQP Methods for Large-Scale Nonlinear Programming / N.I.M. Gould ; P.L. Toint
Algorithmic Implications of Duality in Stochastic Programs / J.L. Higle ; S. Sen
A Model which Integrates Strategic and Tactical Aspects of Forest Harvesting / A. McNaughton, et al.
Optimization of Chemical Processes Under Uncertainty / G.M. Ostrovsky, et al.
Numerical Solution to the Acoustic Homicidal Chauffeur Game / V.S. Patsko ; V.L. Turova
Application of a Micro-Genetic Algorithm in Optimal Design of a Diffractive Optical Element / S. Rudnaya ; F. Santosa
Semidefinite and Lagrangian Relaxations for Hard Combinatorial Problems / H. Wolkowicz
Recent Developments in Interior-Point Methods / S.J. Wright
Other Papers that were Presented at the Conference
Foreword
Topology Design of Structures, Materials and Mechanisms - Status and Perspectives / M.P. Bendoe
MIP: Theory and Practice - Closing the Gap / R.E. Bixby, et al.
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼