Search Results - concurrent program- ing—Distributed programming general terms algorithms

Bounded-Latency Content Distribution: Feasibility and Evaluation.

Authors: Chehgdu Huang Abdelzaher, Tarek

Source: IEEE Transactions on Computers; Nov2005, Vol. 54 Issue 11, p1422-1437, 16p

Subject Terms: ALGORITHMS, COMPUTER programming, ANT algorithms, COMPUTER networks, DATA transmission systems, DIGITAL communications

Formally specifying CARA in Java.

Authors: Stark, Eugene W.

Source: International Journal on Software Tools for Technology Transfer; May2004, Vol. 5 Issue 4, p331-350, 20p

Subject Terms: COMPUTER software, INFUSION therapy equipment, ALGORITHMS, JAVA programming language, SOFTWARE verification, FORMAL methods (Computer science)

CUMULVS: INTERACTING WITH HIGH-PERFORMANCE SCIENTIFIC SIMULATIONS, FOR VISUALIZATION, STEERING AND FAULT TOLERANCE.

Authors: Kohl, James A. Wilde, Torsten Bernholdt, David E.

Source: International Journal of High Performance Computing Applications; Summer2006, Vol. 20 Issue 2, p255-285, 31p, 9 Color Photographs, 3 Black and White Photographs, 6 Diagrams, 1 Chart, 1 Graph

Subject Terms: MIDDLEWARE, COMPUTER simulation, PARALLEL programming, COMPUTER programming, PARALLEL processing, PARALLEL logic programming, COMPUTER science, ELECTRONIC data processing, COMPUTER software, HIGH performance computing

WEB SERVICE CHOREOGRAPHY CONFORMANCE VERIFICATION THROUGH THE piX-MODEL.

Authors: VAN SEGHBROECK, GREGORY VOLCKAERT, BRUNO DE TURCK, FILIP et al.

Source: International Journal of Cooperative Information Systems; Mar-Jun2010, Vol. 19 Issue 1/2, p1-30, 30p, 7 Diagrams, 7 Charts, 3 Graphs

Subject Terms: WEB services, PIXELS, PRODUCTION scheduling, INTERNET industry, APPLICATION software

Managing Distributed Objects in Peer-to-Peer Systems. (cover story)

Authors: Kalogeraki, Vana Chen, Fang

Source: IEEE Network; Jan/Feb2004, Vol. 18 Issue 1, p22-29, 8p

Subject Terms: MIDDLEWARE, ARCHITECTURE, DISTRIBUTED computing, APPLICATION software, REAL-time programming, QUALITY of service

Evaluating Point-Based POMDP Solvers on Multicore Machines.

Authors: Shani, Guy

Source: IEEE Transactions on Systems, Man & Cybernetics: Part B; Aug2010, Vol. 40 Issue 4, p1062-1074, 13p

Subject Terms: MARKOV processes, PARALLEL computers, MULTICORE processors, ALGORITHMS, COMPUTERS

A Market-Based Optimization Algorithm for Distributed Systems.

Authors: Zhiling Guo Koehler, Gary J. Whinston, Andrew B.

Source: Management Science; Aug2007, Vol. 53 Issue 8, p1345-1358, 14p, 3 Charts

Subject Terms: MANAGEMENT science research, RESOURCE allocation, MATHEMATICAL optimization, ALGORITHMS, SYSTEM analysis, PROBLEM solving

Inference Based on Notifications: A Holonic Metamodel Applied to Control Issues.

Authors: Simão, Jean Marcelo Stadzisz, Paulo Cézar

Source: IEEE Transactions on Systems, Man & Cybernetics: Part A; Jan2009, Vol. 39 Issue 1, p238-250, 13p, 3 Black and White Photographs, 10 Charts

Subject Terms: COMPUTER interfaces, COMPUTER software, COMPUTER systems, RULE-based programming, AGILE software development, INFERENCE (Logic), DECISION making

A modular drinking philosophers algorithm.

Authors: Welch, Jennifer Lynch, Nancy

Source: Distributed Computing; Jul1993, Vol. 6 Issue 4, p233-244, 12p

BBN's Network Computing Software Infrastructure and Distributed Applications (1970-1990).

Authors: Schantz, Richard E.

Source: IEEE Annals of the History of Computing; Jan-Mar2006, Vol. 28 Issue 1, p72-88, 17p

Subject Terms: HETEROGENEOUS distributed computing, DISTRIBUTED operating systems (Computers), NETWORK operating system, EMAIL, PACKET switching, SYSTEMS software, COMPUTER operating systems, COMPUTER networks

Company/Entity: BOLT Beranek & Newman Inc.

Decentralization of process nets with centralized control.

Authors: Back, R. Kurki-Suonio, R.

Source: Distributed Computing; Jun1989, Vol. 3 Issue 2, p73-87, 15p

Image composition schemes for sort-last polygon rendering on 2D mesh multicomputers.

Authors: Tong-Yee Lee Raghavendra, C.S. Nicholas, J.B.

Source: IEEE Transactions on Visualization & Computer Graphics; 1996, Vol. 2 Issue 3, p202-217, 16p

Middleware support for mobile applications.

Authors: Fjellheim, Tore Milliner, Stephen Dumas, Marlon

Source: International Journal of Pervasive Computing & Communications; Jun2005, Vol. 1 Issue 2, p75-88, 14p

The Unified Modeling Language. <>'98: Beyond the Notation : First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers

Authors: Jean Bezivin Pierre-Alain Muller

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

Coordination of Internet Agents

Authors: Andrea Omicini Franco Zambonelli Matthias Klusch et al.

Resource Type: eBook.

Subjects: Computer networks, Artificial intelligence, Software engineering, Computer programming, Compilers (Computer programs)

Categories: COMPUTERS / Networking / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Security in Distributed, Grid, Mobile, and Pervasive Computing

Authors: Yang Xiao

Resource Type: eBook.

Subjects: Computer networks--Security measures, Computer security

Categories: COMPUTERS / Information Technology, COMPUTERS / Networking / General, COMPUTERS / Distributed Systems / General, COMPUTERS / Security / General, COMPUTERS / Internet / Online Safety & Privacy, COMPUTERS / Hardware / Cell Phones & Devices, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Mobile & Wireless Communications

Formal Methods for Open Object-Based Distributed Systems IV

Authors: Scott F. Smith Carolyn L. Talcott

Resource Type: eBook.

Subjects: Electronic data processing--Distributed processi, Object-oriented programming (Computer science)--

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory

High-level Petri Nets

Authors: Kurt Jensen Grzegorz Rozenberg

Resource Type: eBook.

Subjects: Petri nets

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General

GRPC: Up and Running : Building Cloud Native Applications with Go and Java for Docker and Kubernetes

Authors: Kasun Indrasiri Danesh Kuruppu

Resource Type: eBook.

Subjects: Application software--Development, Java (Computer program language), Go (Computer program language), Application program interfaces (Computer software)

Categories: COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / Network Protocols, COMPUTERS / Internet / Web Programming, COMPUTERS / System Administration / General, COMPUTERS / Internet / Web Services & APIs, COMPUTERS / Distributed Systems / Cloud Computing

Designing Distributed Systems : Patterns and Paradigms for Scalable, Reliable Services

Authors: Brendan Burns

Resource Type: eBook.

Subjects: System design, Electronic data processing--Distributed processing

Categories: COMPUTERS / Distributed Systems / General, COMPUTERS / Computer Architecture, COMPUTERS / System Administration / Backup & Recovery, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Programming / Algorithms, COMPUTERS / Software Development & Engineering / Tools, COMPUTERS / System Administration / General, COMPUTERS / System Administration / Linux & UNIX Administration, COMPUTERS / System Administration / Windows Administration, COMPUTERS / Internet / Web Services & APIs