22%
14.08.2017
('request_processing_seconds', 'Time spent processing request')
07
08 # Decorate function with metric.
09 @REQUEST_TIME.time()
10 def process_request(t):
11 """A dummy function that takes some time."""
12 time.sleep(t)
13
14
22%
17.02.2015
int idparticle;
05 double pos[D];
06 double vel[D];
07 double force0[D];
08 double force[D];
09 double mass;
10 char bf[BFSIZE];
11 void *nxtParticle;
12 };
13 PARTICLE
22%
14.03.2013
(Accelerated Processing Unit) [4].
This processor combines a CPU with a GPU on a single chip. For example, the recently announced AMD A10-5800K has the following specifications:
4 cores at 3.8GHz (turbo
22%
05.08.2024
.15) ...
Processing triggers for man-db (2.10.2-1) ...
$
$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
info: downloading installer
Welcome to Rust!
This will download and install the official
22%
07.06.2019
.3, PostgreSQL 9.6 and 10, up-to-date Apache and Nginx, and current versions of various tools. If you are not looking for a feature that was only introduced into a tool after Fedora 28, you won't have any
22%
01.06.2024
Dec 9 09:11 microsoft.gpg
which means only the root user can read and write to the file.
The next step sets up the correct Apt package repository entry, which is ideal for security updates, new
22%
05.02.2023
and select Create Instance
. MySQL versions 8.0, 5.7, and 5.8 and PostgreSQL versions 9.6, 10, 11, 12, 13, and 14 are now available for selection. Alternatively, a managed database instance with Microsoft SQL
22%
18.07.2013
backend3.example.com server;
05 backend4.example.com server down;
06 backend5.example.com backup server;
07 }
08
09 upstream fallback {
10 fallback1.example.com server: 8081;
11 }
12
13
14 server {
15 %
16
22%
05.12.2016
/state/log"
05 dumpuser "amanda"
06 labelstr "MyData[0-9][0-9]"
07 autolabel "MyData%%" EMPTY VOLUME_ERROR
08 tpchanger "chg-disk:/amanda/vtapes"
09 tapecycle 4
10 dumpcycle 3 days
11 amrecover_changer "changer
22%
20.05.2014
01 var http = require('http');
02 http.createServer(function (req, res) {
03 res.writeHead(200, {'Content-Type': 'text/plain'});
04 res.end('Hello from Node.js\n');
05 }).listen(3000, '127
