Hi,
Can I send you a sample of one of our B2B email lists?
We are a B2B Database company & offer B2B email lists based on your
requirements.
All Industrial Sectors: Information Technology | Logistics | Oil & Gas |
Automotive | Energy | Transportation | Construction | Pharmaceuticals |
Veterinary | Travel & Tourism |Telecommunications | Retail | Banking |
Manufacturing |Health Care | Interior Designers | Facility Management |
Education & E-Learning | Architects | Food & Beverages | Real Estate| HR |
Hospitality | Aviation and more. etc
If you could send me your target audience, I'll come up with the data
counts, costs & samples for your review.
Keep us posted on the same.
Regards,
Bob Taylor
Business Development Dept.
#621 High Lane, Pittsburgh, PA 15201, USA
_____
Disclaimer: You were precisely sent this email based upon your company
profile. If for some reason this was sent in error or you wish not to
receive any further messages from us please response by subject line as "
Exclude " to exclude from all future mailings.
Hi ,
Get your low interest loans today. with interest rate as low as 8% per
annum we're hard to beat bad credit score? no problem! we have a solution
for everyone. just send us an email to: stanley.lankford(a)gmail.com
<stanley.lankford(a)qq.com> for more information.
---------------
Hallo ,
Holen Sie sich Ihre niedrigen Zinskredite heute. Mit einem Zinssatz von bis
zu 8% pro
Annum sind wir schwer zu schlechten Kredit-Score zu schlagen? kein Problem!
Wir haben eine lösung für alle Schicken Sie uns einfach eine E-Mail an:
stanley.lankford(a)gmail.com für weitere Informationen.
Hi,
As part of my PhD research, I am using MRMC for statistical model
checkering.
For a given model(tra) and a property, I need to know how much
time MRMC spends for
(i)parsing the model,
(ii)generating its simulation,
and (iii)the time spend for property verification.
Is it possible to somehow access these informations?
Thank you very much,
Best
Mehmet Emin BAKIR
University of Sheffield <http://www.sheffield.ac.uk/>
Department of Computer Science
Verification and Testing Group
<http://www.sheffield.ac.uk/dcs/research/groups/vt>
Hi Ivan,
Thank you for your prompt reply.
Despite I tried many times with two different email account, unfortunately,
it did not send me any email. But I downloaded the attached one.
Many thanks.
All the best
On Wed, Feb 18, 2015 at 12:29 AM, Ivan Zapreev <ivan.zapreev(a)gmail.com>
wrote:
> Hallo Mehmet Emin,
>
> Hallo, You should have gotten an e-mail with the MRMC archive in it :)
> If not, perhaps it is in your spam folder. Any way, here is the latest src
> distribution.
> The download worked for me ;)
>
> Kind regards,
>
> Dr. Ivan S. Zapreev
>
> On Wed, Feb 18, 2015 at 12:15 AM, Mehmet Emin BAKIR <meminbakir(a)gmail.com>
> wrote:
>
>> Hello,
>> I am trying to download the latest release of MRMC, but it did not send
>> me a download link. Do you know why, and how can I download it.
>>
>>
>> Thanks.
>>
>> --
>> Mehmet Emin BAKIR
>>
>> _______________________________________________
>> MRMC-users mailing list
>> MRMC-users(a)lists.rwth-aachen.de
>> https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-users
>>
>
>
>
> --
> Best regards,
>
> Ivan
> <http://www.tainichok.ru/>
>
--
Mehmet Emin BAKIR
Hello,
I am trying to download the latest release of MRMC, but it did not send me
a download link. Do you know why, and how can I download it.
Thanks.
--
Mehmet Emin BAKIR
Dear all,
the public available MRMC code 1.5 was adapted for processing huge
models.
Additionally data storage is now easy adjustable from double to float,
but the drawback of saving memory space is loosing precision.
Beyond that a parallelization option for some parts of the code (only
for loops) was implemented.
The modified MRMC version is available in the SVN:
https://svn-i2.informatik.rwth-aachen.de/repos/mrmc/branches/large-models
If somebody is interested an cannot access the SVN then don't hesitate
to contact me.
Best regards
Martin Groessl
Dear all,
I'm a newbie in model checking but for my PhD project a great option is
model analysis. In project a huge CTMC model (.tra) with 797382144
STATES and 64470375837 TRANSITIONS is generated.
First I noticed that MRMC "only" requests 3GB RAM which seems to be
filled. In that process a core dump is generated.
I noticed that MRMC seems not to load all transitions or eventually
represents the transition count in a wrong way (may be a variable
overflow).
Do you have some experience with analysing such big models?
Are there some restrictions by MRMC ?
Best
Martin Groessl
-----------------------------------------------------
Technical University of Kaiserslautern
Department of ComputerScience
67653 Kaiserslautern,Germany
Email: groessl(a)informatik.uni-kl.de
Dear Ignacio,
I am forwarding your email to the MRMC users mailing list. The MRMC server is maintained by people in the group of Joost-Pieter Katoen, RWTH Aachen. I have just tried to download the source version myself; I can see that the email format is broken, but I have no access to the server and do not know how to repair it.
The problem is that there are some lines with two line breaks instead of one. The relevant RFCs (822, ..., 5322) all prescribe that lines in emails are separated by CR LF; it may be that the current mailserver actually changes CR LF to two line breaks. The PHP mail() documentation <http://php.net/manual/en/function.mail.php> mentions that the qmail server software does so.
Regarding your second question on discrete-time MDPs: No, I do not know of a mode to support discrete-time MDPs. The support for continuous-time MDPs was added to MRMC later, as a result of the research of Moritz Hahn.
Kind regards,
David N. Jansen.
Op 17 mei 2014, om 23:03 heeft Ignacio Fernandez De La Puente <puente(a)in.tum.de> het volgende geschreven:
> Dear David,
>
> I found out today about your Markov Reward Model Checker (MRMC) and I must say that I am very interested. I am working with Prof. Broy at the TUM and I would like to apply it to a reward model for generating test cases for feature interaction in software production lines.
>
> The thing is that I have been trying to download the source code and unfortunately I must say that your php server is not working properly because I did not receive the attachment with the source code. Instead, I received an email without attachment and with a binary as text. As I matter of fact I tried again with the windows file and occurred the same.
>
> Could you please send me the version 5 of MRMC Tool (source code, windows version and linux-32 version). That would be fantastic!!=)
>
> The last question is concerning the documentation. Unfortunately I am not familiar with continous time MDPs and I could not find if a continous MDP can be transformed into a discrete MDP. This is why I would like to ask you if your tool MRMC also support discrete time MDP's?
>
> Thank you very much! =)
>
> Best Regards from Munich!
> Ignacio FP