Treffer 1 - 20 von 115

1

IronFleet: Proving Safety and Liveness of Practical Distributed Systems.
Hawblitzel, Chris ; Howell, Jon ; Kapritsos, Manos ; et al.
Communications of the ACM. Jul2017, Vol. 60 Issue 7, p83-92. 10p. 2 Diagrams, 7 Charts, 2 Graphs.

Systems software Computer software Technical specifications Standards Distributed computing so... Finite state machines
Zeitschrift
2

The Tail at Scale. (cover story)
DEAN, JEFFREY ; BARROSO, LUIZ ANDRÉ
Communications of the ACM. Feb2013, Vol. 56 Issue 2, p74-80. 7p. 1 Color Photograph, 2 Charts, 1 Graph.

Web services Fault-tolerant computing Search engine optimizati... Computer software Web search engines Application software
Zeitschrift
3

Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties.
Schneider, Fred B.
Communications of the ACM. Jul2017, Vol. 60 Issue 7, p82-82. 1p.

Systems software Distributed computing so...
Zeitschrift
4

Dynamic energy-aware scheduling for parallel task-based application in cloud computing.
Juarez, Fredy ; Ejarque, Jorge ; Badia, Rosa M.
Future Generation Computer Systems. Jan2018 Part 1, Vol. 78, p257-271. 15p.

Energy consumption Computer scheduling Distributed computing so... Parallel computers Cloud computing
Fachzeitschrift
5

Encoding partial orders through modular decomposition.
Beaudou, Laurent ; Ghazi, Kaoutar ; Kahn, Giacomo ; et al.
Journal of Computational Science. Mar2018, Vol. 25, p446-455. 10p.

Encoding Partially ordered sets Object-oriented programm... Distributed computing so... Heuristic
Zeitschrift
6

A continuous DC programming approach for resource allocation in OFDMA/TDD wireless networks.
Nam, Nguyen Canh ; Hoai, Pham Thi
Computers & Operations Research. Jun2017, Vol. 82, p95-101. 7p.

Resource allocation Distributed computing so... Telecommunications devic... IEEE 802.16 (Standard) Branch & bound algorithm...
Zeitschrift
7

Use of Self-Healing Techniques for Highly-Available Distributed Monitoring
Włodzimierz Funika ; The research presented in this paper received financial support from AGH University of Science and Technology Statutory Project.
COMPUTING AND INFORMATICS; Vol 37, No 2 (2018): Computing and Informatics; 424-456

68M14, 68M15 arallel and Distributed... 0202 electrical engineer... Monitoring, self-healing... 02 engineering and techn...
Fachzeitschrift
8

Improved cost models for agent-based association rule mining in distributed databases.
O., Ogunde A. ; O., Folorunso ; S., Sodiya A. ; et al.
Annals. Computer Science Series. 2011, Vol. 9 Issue 1, p231-250. 20p. 2 Diagrams.

Association rule mining Distributed databases Information storage & re... Data mining Mobile agent systems Distributed computing so...
Fachzeitschrift
9

ZEUS: A TOOLKIT FOR BUILDING DISTRIBUTED MULTIAGENT SYSTEMS.
Nwana, Hyacinth S. ; Ndumu, Divine T. ; Lee, Lyndon C. ; et al.
Applied Artificial Intelligence. Jan1999, Vol. 13 Issue 1/2, p129-185. 57p.

Computer software Computer software develo... Intelligent agents Distributed computing so...
Fachzeitschrift
10

VISUALIZATION AND DEBUGGING OF DISTRIBUTED MULTIAGENT SYSTEMS.
Ndumu, Divine T. ; Nwana, Hyacinth S. ; Lee, Lyndon C. ; et al.
Applied Artificial Intelligence. Jan1999, Vol. 13 Issue 1/2, p187-208. 22p.

Intelligent agents Distributed computing so... Computer debugging softw...
Fachzeitschrift
11

Mastering objects.
Gill, Philip
Informationweek. 10/21/96, Issue 602, p1A. 5p. 4 Color Photographs, 2 Charts.

Middleware Distributed computing so...
Zeitschrift
12

JFN: A unifying platform for microservice and serverless deployments
Tagliavini, Luca ; Giallorenzo, Saverio ; Guidi, Claudio

microservices,serverless... Informatica [L-DM270]
Dissertation
13

Agilent harnesses compute clusters for fast system-level validation and test.
Military & Aerospace Electronics. Nov2013, Vol. 24 Issue 11, p36-36. 1/3p.

Distributed computing so... Agilent Technologies Inc...
Zeitschrift
14

MAKING PEER-TO-PEER SECURE.
Fisher, Dennis ; Berinato, Scott
eWeek. 11/13/2000, Vol. 17 Issue 46, p16. 3/4p. 1 Chart.

Distributed computing so... DataSynapse Inc.
Zeitschrift
15

Science by Screensaver.
Kher, Unmesh
Time International - South Pacific Edition. 10/16/2000, Issue 41, p62. 2/3p. 2 Color Photographs.

Computers Internet Distributed computing so... Screen savers (Computer... Search for Extraterrestr...
Zeitschrift
16

Vignette upgrades offer J2EE, tracking.
Holland, Roberta
eWeek. 05/14/2001, Vol. 18 Issue 19, p34. 1/2p.

Computer software Distributed computing so... Vignette Corp.
Zeitschrift
17

Scalability gap.
Levin, Rich
Informationweek. 11/18/96, Issue 606, p89. 3p. 2 Color Photographs, 2 Charts.

Distributed computing so... Microsoft Corp. Borland International In... Powersoft Corp.
Zeitschrift
18

E pluribus unum, network style.
Computing Japan. Jan1997, Vol. 4 Issue 1, p34. 1/9p.

Distributed computing so... Online data processing s...
Zeitschrift
20

ENGENIUS RELEASES EXPANDED LINE OF GIGABIT SWITCHES.
LAN Product News. Aug2016, Vol. 28 Issue 8, p4-7. 4p.

Distributed computing so... EnGenius Technologies In...
Zeitschrift

Filter