Displaying 20 results from an estimated 2865 matches for "verifity".
2013 Feb 12
3
improving/speeding up a very large, slow simulation
Dear R help;
I'll preface this by saying that the example I've provided below is pretty
long, turgid, and otherwise a deep dive into a series of functions I wrote
for a simulation study. It is, however, reproducible and self-contained.
I'm trying to do my first simulation study that's quite big, and so I'll
say that the output of this simulation as I'd like it to be is
2006 Feb 13
1
hackish error handling
I''ve got a block of code that''s turning out.. well - just plain ugly.
So i know I must not be doing it the Ruby way.
The main problem I''m having is in dealing with handling errors - and
just not finding much Rails documentation that gives a deeper
understanding of how to handle errors in Rails (outside of several
docs on the catch-all''s)
the main method
2012 Feb 04
1
How does rsync file verification work?
Hello,
I want to use rsync to create backups. I think I need a verification that:
1) data is written to disk.
2) data is read back from disk.
3) verify the checksum of data.
Does the automatic file verification in rsync works like this? Technically,
I'd like to know how does we make step 2 read data from disk and not from
file cache/buffer in OS?
Or, do OS/harddrives always perform written
2003 Oct 08
1
[Bug 734] Misleading error message when host key verification is impossible / SSH_ASKPASS impossible.
http://bugzilla.mindrot.org/show_bug.cgi?id=734
Summary: Misleading error message when host key verification is
impossible / SSH_ASKPASS impossible.
Product: Portable OpenSSH
Version: 3.6.1p2
Platform: All
OS/Version: Linux
Status: NEW
Severity: trivial
Priority: P5
Component: ssh
2016 Oct 14
2
LCSSA verification for the top-level loops
Hi Michael,
+CC llvm-dev
My guess is that it would be rather error prone to pinpoint exact places where we start populating new LPPassManager since it’s created lazily via LoopPass::assignPassManager. So we are risking to miss adding verifiers in some of the LPPassManager’s.
One similar idea is to introduce LCSSAVerifier function pass and make LCSSA pass to be dependant on it. That will allow
2016 Nov 18
1
Authconfig package fails verification using RPM
Hi,
I tried executing the rpm -V command on the packages of the CentOS 7.2 ISO which I have created, the verification failed for some of them. Here is the log for 'authconfig' :
Steps:
1. Execute command : rpm -V authconfig
2. Observe the output
Expected Result:
If there is no error, nothing should be displayed
Actual Result:
Verification fails with following error log:
2020 Aug 11
2
Meaning of "failed verification -- update retained (will try again)."
Hi,
I see some warnings like the following. Could anybody explains what
they mean? Thanks.
19/31274477.pdf
257,169,119 0% 1.26MB/s 0:03:15 (xfr#121,
to-chk=848309/1043298)WARNING: 18/32281577.pdf failed verification --
update retained (will try again).
WARNING: 19/28879866.pdf failed verification -- update retained (will
try again).
--
Regards,
Peng
2016 Oct 17
2
LCSSA verification for the top-level loops
> On Oct 14, 2016, at 9:54 AM, Igor Laevsky <igor at azulsystems.com> wrote:
>>
>> Hi Michael,
> Hi Igor,
Hi Michael,
>
>>
>> +CC llvm-dev
>>
>> My guess is that it would be rather error prone to pinpoint exact places where we start populating new LPPassManager since it’s created lazily via LoopPass::assignPassManager. So we are risking to
2002 Oct 18
3
Host Key Verification failed - ssh via cgi
hi, my scenario is this:
i have a cgi (on host1) that executes ssh (as userxyz) to a remote server (host2), executes a command to retrieve some data and outputs them to the local browser.
on host1:
#!/usr/bin/perl -w
...
$output = `/usr/local/bin/ssh -l userxyz -x host2 ls -l`
...
but i get "Host Key Verification failed" on my apache's error_log. i can do it on the command line,
2012 Mar 16
1
Host Key verification issue
Hello,
I have script that I run remotely on a server, using ssh config with a 'command' call in the authorized keys file. I can successfully run this from one of my servers, but when I try from 2 other machines, I receive a Host Key Verification Failed error.
When I remove the 'command' from the call from authorized keys on the remote server, I can successfully connect to the
2007 Apr 30
2
Confference function
I would like to know if anyone here knows the answer to the following question
I need to implement the following conferencing feature for my agents.
1. Agent receives call from caller
2. Agent conferences a verification service
3. After finishing the verification, agent needs to drop third party (Verification service) and continue on the line with caller.
My problem
2013 Sep 14
1
[LLVMdev] Publication: LLVMVF: A Generic Approach for Verification of Multicore Software
Dear all,
I'm happy to share a recent publication on a bounded model checker for
concurrent programs represented in LLVM IR that integrates the verification
framework that I'm developing:
Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification
of Multicore Software. Journal of Electronic Testing: Theory and
Applications, September 2013. (
2017 Sep 26
2
[MachineCopyPropagation] Issue with register forwarding/allocation/verifier in out-of-tree target
On 9/26/2017 6:11 PM, Matthias Braun wrote:
>
>> On Sep 26, 2017, at 2:39 PM, Geoff Berry via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>>
>> Hi all,
>>
>> Mikael reported a machine verification failure in his out-of-tree target with the MachineCopyPropagation changes to forward registers (which is currently reverted). The verification in question is:
2009 Mar 19
2
ssh - alternate ports, and host verification
I have a centos box that will need to ssh into 2 other centos boxes
(with keys). Now one of these boxes is a firewall, and another is a
system behind the firewall. I have rules in my firewall to punch into
the system behind the FW.
Now if i connect to the IP (sine the public one is shared), anytime i
connect to the other system, I get the host verification failed error
and have to
2016 Feb 08
4
Question about Formal Verification
Hello, all,
My name is Scott Santucci and I'm a software developer kicking around
various wild ideas. (I wish I had something more interesting to say about
myself than that, but nothing comes to mind; my day job is in SQL and Java,
nothing to do with LLVM.)
I am wondering whether anyone has tried using LLVM to apply formal
verification to program code. I'm thinking about trying to
2020 Jan 26
2
Centos 7: UPD packet checksum verification?
Hi,
what does Centos 7 do with UPD packets having invalid checksums?
Are such packets inevitably dropped? Does a network card drop them when it
does checksum verification in hardware even before the packets go anywhere?
In general, if someone were to send me UPD packets with invalid checksums over
the internet, how far would such packets get?
In particular, how likely it is that SRTP
2009 Jul 27
3
[Bug 1625] New: [PATCH] Make configuration of key verification from DNS easier
https://bugzilla.mindrot.org/show_bug.cgi?id=1625
Summary: [PATCH] Make configuration of key verification from
DNS easier
Product: Portable OpenSSH
Version: 5.2p1
Platform: Other
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: ssh
AssignedTo:
2017 Sep 26
2
[MachineCopyPropagation] Issue with register forwarding/allocation/verifier in out-of-tree target
Hi all,
Mikael reported a machine verification failure in his out-of-tree target
with the MachineCopyPropagation changes to forward registers (which is
currently reverted). The verification in question is:
*** Bad machine code: Multiple connected components in live interval ***
- function: utils_la_suite_matmul_ref
- interval: %vreg77
2017 Sep 27
2
[MachineCopyPropagation] Issue with register forwarding/allocation/verifier in out-of-tree target
On 9/26/2017 6:47 PM, Matthias Braun wrote:
>
>> On Sep 26, 2017, at 3:33 PM, Geoff Berry <gberry at codeaurora.org
>> <mailto:gberry at codeaurora.org>> wrote:
>>
>>
>>
>> On 9/26/2017 6:11 PM, Matthias Braun wrote:
>>>> On Sep 26, 2017, at 2:39 PM, Geoff Berry via llvm-dev
>>>> <llvm-dev at lists.llvm.org
2005 Apr 15
6
PPTP VPN secure?
Hi all
I have succesfully set up PPTP VPN access to my company using PoPToP/pppd
(thank you Tom for excellent documentation), everything works fine so far.
Problem is security. As I understand it, since PPTP ports trough tunnel are
opened to whole Internet (have to be), access verification is now based only
on username/password combination.
Can level of security be raised with MAC verification?