Sultan, Indie, Quartz, Vastaah et Eurêka!
Sujet commencé par : sheytana - Il y a 6274 réponses à ce sujet, dernière réponse par didie439 personnes suivent ce sujet.
Par sheytana : le 10/07/09 à 15:06:59
| Dire merci | Je profite donc de mon nouveau venu pour tenter de créer un nouveau post avec des photos qui s'affichent  Je crois que ce n'est plus la peine de vous présenter la poupette internationale, j'ai nommé Indie,alias la garce  (ONCP: Camargue X connemara, 1996) vous avez surement du en entendre parler quelque part sur le fofo   Je ne présente pas non plus les neuneus de service : Sultan de Chagarde (Mérens, 2006)  Quartz du Rec Daval (ONC: Anglo-Arabe, 2004)  Et Vastaah de Touzeilles, le fils d'Indie et Sultan (OC, 2009)  Et le nouveau venu dans la famille 4 pattes, et qui n'a déjà pas de chance  Eurêka (Batard X Beauceron, 2009) |
DéconnectéMessages 2601 à 2640, Page : < < | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 > >
Par atala : le 03/09/09 à 20:39:20
Par Dory : le 03/09/09 à 21:12:26
| Dire merci | Ah super Sheyt ! Good Luck !  |
Par lupiote : le 03/09/09 à 21:20:58
 |
Par idole24 : le 03/09/09 à 21:42:44
| Dire merci | ah c'est cool si ça s'est plutot bien passé je croise les doigts pour la réponse |
Par sheytana : le 03/09/09 à 22:47:19
| Dire merci | Khayan> Je sais pas... tu sais en général ils restent le plus vague possible |
Par piki51 : le 03/09/09 à 23:03:04
| Dire merci | ah quel bonne nouvelle sheyt' Je croise vraiment les doigts pour toi...  |
Par Mufty88. : le 04/09/09 à 10:44:45
| Dire merci | Ah ah ah je te dis M*rde ma sheytounette  |
Par Perlie : le 04/09/09 à 10:52:16
| Dire merci | C'était à Toulouse cet entretien ? |
Par Gracioso : le 04/09/09 à 10:59:46
| Dire merci | Han t'as fait un copié collé de ta réponse dans le salon de discussion Sheyt Super si ça c'est bien passé, tu peux espérer avoir une réponse d'ici combien de temps ? |
Par sheytana : le 04/09/09 à 11:05:25
| Dire merci | Perlie> Ouais sur Toulouse  Gracio> Ben ouais C'est le même entretien donc y'a rien de nouveau entre mes deux postages mdr!!! La réponse je sais pas trop, en fait le gars m'a dit "On va faire un deuxième entretien avec l'experte en aérospatial" et "je vais vous envoyer un mail pour vous proposer une mission" mais je sais pas si ça voulais dire qu'il va vraiment le faire dans un futur proche, ou si ça voulait dire qu'il allait éventuellement le faire, après consultation avec les autres, si finalement il me trouvait vraiment intéressante ou pas .... En tous cas, ce matin, j'ai rien reçu |
Par Gracioso : le 04/09/09 à 11:07:51
| Dire merci | Mouais, effectivement pas claire la réponse du mec t'aurais dû lui demander. Sinon n'hésite pas à rappeler, par exemple dans 15 jours si tu n'as pas de nouvelle. |
Par sheytana : le 04/09/09 à 11:10:25
| Dire merci | Le truc sur le coup, c'est que ça donnait l'impression que c'était sérieux, parce qu'il voulait voir si l'expert en aérospatial était la tout de suite, qu'on le fasse directement, mais bon, j'préfère pas trop me faire de films, on sait tous comment c'est le domaine de l'emploi Et puis bon, c'est pas le poste de ma vie, donc je m'en "fiche" un peu quoi.... Disons que déjà, l'entretien de mercredi prochain pour le doctorat, me tiendrais déjà un peu plus a coeur .... |
Par Gracioso : le 04/09/09 à 11:12:26
| Dire merci | C'est un entretien avec un éventuel directeur de thèse, ou tu l'as déjà et tu présentes carrément ton dossier pour avoir les bourses ?? et c'est quoi le sujet de ta thèse ? |
Par sheytana : le 04/09/09 à 11:23:21
| Dire merci | Non c'est avec un directeur de thèse, mais comme c'est une thèse CIFRE en entreprise, je crois que le dossier passe en même temps... En fait, c'est financé et en collaboration avec Airbus, mais je sais pas exactement comment ça se passe... C'est un truc sur de la certification et de la validation de logiciels |
Par sheytana : le 04/09/09 à 11:28:09
| Dire merci | C'est ça : Office National d'études et de recherche aérospatial (ONERA) - Département Traitement de l'Information et Modélisation Airbus SAS Toulouse L’analyse statique regroupe une famille d'approches qui permettent la vérification de propriétés de programmes sans en nécessiter l'exécution. Parmi ces approches, on peut mentionner l'analyse statique par interprétation abstraite, qui permet de vérifier des propriétés des exécutions d'un programme en calculant une approximation sûre de sa sémantique, la preuve de programme, qui permet de vérifier la conformité d'un programme à des propriétés fonctionnelles décrites dans un langage logique, et le model-checking, qui permet de vérifier exhaustivement la conformité de certains modèles de programmes à certains types de propriétés fonctionnelles. L'analyse dynamique d'un programme consiste à exploiter les observations faites sur le programme en exécution, sur l'architecture matérielle pour laquelle il est développé, ou sur un simulateur d'une telle architecture. L'avantage de travailler sur la véritable architecture est que l'on a accès à davantage de propriétés, telles que le comportement temporel. A l'inverse, travailler sur une architecture simulée permet essentiellement de vérifier la correction fonctionnelle, mais permet aussi d'intervenir plus tôt dans le cycle de développement. |
Par sheytana : le 04/09/09 à 11:28:18
| Dire merci | Chacune de ces familles d'approches possède ses propres limites : absence d'exhaustivité dans les approches dynamiques, complexité et explosion des outils dans les approches statiques. Il est donc naturel d'envisager d'utiliser chacune d'entre elles là où elle s'avère être la plus efficace. Deux problèmes se posent alors: -comment caractériser la complémentarité des approches de façon à avoir recours à chacune d'entre elles là où elle est applicable, -comment décomposer un objectif de vérification en fonction des techniques qui seront mises en œuvre pour le satisfaire partiellement Une piste possible consisterait à partir de la notion de couverture, largement exploitée dans les approches dynamiques (couverture fonctionnelle et couverture structurelle, MC/DC,...), un peu moins habituelle dans les approches statiques (couverture fonctionnelle). L'objectif général de cette thèse est d'étudier, et proposer des solutions pour, l'utilisation conjointe des approches statiques et dynamiques pour la vérification de programmes critiques, a priori en langage C. Elle abordera le problème de la composition avec deux points de vue: décomposition a priori, ou comment raffiner un objectif de couverture fonctionnelle pour pouvoir l'aborder avec des techniques statiques et dynamiques complémentaires; composition a posteriori : des analyses statiques et dynamiques ayant été menées, comment en composer les résultats, et comment caractériser cette composition en terme d'objectif de vérification atteint. Cette thèse abordera ces problèmes avec un point de vue théorique (théorie de la preuve, du test, modularité, réutilisation) et pratique (mise en œuvre d’outils d’analyse de code, conduite de preuve sur des cas concrets de logiciels embarqués, observation de la pratique industrielle de l'analyse dynamique). Elle se déroulera au sein des équipes de l’Onera et d’Airbus travaillant sur la mise en œuvre de l’analyse statique dans le contexte de la vérification des programmes embarqués en vue de leur certification. Formation : Mastère Recherche Informatique Spécificités souhaitées : Connaissance et intérêt pour les méthodes formelles |
Par Gracioso : le 04/09/09 à 11:30:32
| Dire merci | Bon j'ai lu que le premier et le dernier paragraphe, c'est trop compliqué pour moi  par contre, tu sais si vous êtes nombreux à candidater dessus ? |
Par sheytana : le 04/09/09 à 11:32:22
| Dire merci | C'est bien ça, en fait c'est sous forme d'un CDD de 3 ans, ou d'un CDI, et c'est l'entreprise qui paie, y'a les détails là : Lien |
Par sheytana : le 04/09/09 à 11:38:08
| Dire merci | Gracio> J'en ai strictement aucune idée... Déjà, a la base, je cherchais tout sauf un doctorat Sauf que là, j'ai "craqué" sur le sujet, c'est exactement ce que j'ai envie de faire Du coup ben j'ai postulé comme ça, à l'arrache, à quelques jours de la date limite... La prof qui propose était une de mes profs, celle avec qui on avait fait le TP ou j'étais arrivée 1h en retard a cause d'Indie qui faisait son bouchon (super )Et une bonne collègue à elle, c'était la prof qui m'encadrait en projet, et qui m'avait dit qu'elle allait lui faire des recommandations pour moi Donc bon, on verra, je croise les doigts, j'vais réviser tous mes cours avant d'y aller |
Par Gracioso : le 04/09/09 à 11:52:41
| Dire merci | Ok, ben j'espère que ça va fonctionner, c'est pas tous les jours qu'on trouve exactement le sujet que l'on a envie de faire !! |
Par Perlie : le 04/09/09 à 11:56:46
| Dire merci | Piouf ... Rien compris |
Par idole24 : le 04/09/09 à 12:25:05
| Dire merci | ah mais ça sent plutot bon tout ça !!! |
Par irisetquiara39 : le 04/09/09 à 12:30:47
| Dire merci | je croise les doigts pour toi |
Par nath34 : le 04/09/09 à 12:34:36
| Dire merci | Purée Sheyt, tu m'"espamtes", je comprends pas comment tu comprends ça et en plus que ce soit exactement ce que tu veuilles faire comme projet ? Les mots sont esotériques et vraiment trop abstraits... Tu es trop intelligente pour moi, c'est clair ! Mais bon il faut de tout pour faire un monde... Bon j'espère que ça va coller pour le job et donc pour l'Ag.... |
Par lupiote : le 04/09/09 à 12:49:43
| quel charabiat ton doctorat |
Par sheytana : le 04/09/09 à 12:50:47
| Dire merci | Nath> Tu sais, je comprend pas tous les mots non plus hein Mais je sais un peu a quoi ça correspond, et j'ai une idée du sujet, et aussi de ce que je veux faire, donc ça me suffit |
Par Loustix : le 04/09/09 à 13:02:03
| Dire merci | ah super ! |
Par sheytana : le 04/09/09 à 13:03:13
| Dire merci | Franchement, j'aurais bien aimé l'avoir en fait ce doctorat quoi |
Par El Bimbo : le 04/09/09 à 13:04:15
| Dire merci | pfiou....quel sujet....ce serait écrit en chinois que je ne comprendrai pas moins ce charabia !! Un gros mot de cinq lettres pour que ça marche mais effectivement je croyais que tu ne voulais pas de doctorat ?!!  Ce serait rémunéré, et bien rémunéré ?! |
Par sheytana : le 04/09/09 à 13:18:00
| Dire merci | El Bimbo> Ben ouais j'en voulais pas D'ailleurs, j'en cherchais pas, mais le sujet m'est tombé dessus, et comme par hasard, c'était super intéressant, et comme par hasard, c'était le seul sujet encore ouvert en plein mois de juillet, et comme par hasard, ma prof a gentiment accepté de me recommander la même journée, juste avant de partir en congé, et comme par hasard maintenant, ben j'ai un entretien..... Donc bon Et l'avantage non négligeable en plus du fait que le sujet est génial, c'est que c'est une thèse CIFRE, c'est expliqué dans le lien que j'ai mis plus haut, en fait c'est un CDD (voir CDI) avec l'entreprise, rémunéré au minimum a hauteur d'environ 21.000€ brut par an....Ca fait un peu plus de 1200 net par mois  Franchement, si je touche ça tout en étudiant en plus dans le domaine qui me plait, et en ayant a la fin une éventuelle embauche en tant que Docteur, ma foi, je vais pas me plaindre Mais bon, la encore, je me fais pas de films hein, s'il faut je l'aurais pas, mais c'est toujours mieux que rien d'avoir au moins l'entretien  Message édité le 04/09/09 à 13:08 |
Par nath34 : le 04/09/09 à 13:16:14
| Dire merci | Bon j'ai piqué le site de dory pour les photos mais j'arrive pas à mettre les photos directement, t'es obligé de les mettre en lien ou quoi ? |
Par sheytana : le 04/09/09 à 13:17:36
| Dire merci | Nath> J'en sais rien, j'suis sur photoservice moi |
Par nath34 : le 04/09/09 à 13:20:23
| Dire merci | Grrr, ces trucs américains....je vais quand même pas ouvrir aussi un compte chez photoservice aussi....en plus ils te piquant ton adresse mail au passage et t'inondent immédiatement de s... de pubs...  |
Par sheytana : le 04/09/09 à 13:20:54
| Dire merci | Ah bon? Moi j'ai pas des masses de pubs avec photoservice |
Par nath34 : le 04/09/09 à 16:07:03
| Dire merci | Non c'est sur l'autre site us vu plus haut... |
Par sheytana : le 05/09/09 à 08:37:31
| Dire merci | Des photos de la semaine dernière : Les gros sont de plus souvent séparés, les garçons d'un côté et Indie de l'autre  souvent ils sont même pas dans le même pré quoi  Calin papa   Mais Quartz le jaloux vient les séparer   |
Par sheytana : le 05/09/09 à 08:45:33
| Dire merci | Et changement de décors, les photos d'hier....On a perdu quasiment 20° en une semaine quoi Les nuages   On dirait des fesses  Un Zyzy qui a commencé son poil d'hivers tôt cette fois  L'an dernier, il avait eu le même poil que vers fin octobre, voir novembre   La poupette qui elle, n'a pas fait de poil, mais a maigrit par contre   Vastaah mangeait du foin avec sa maman jusqu'à ce qu'elle le mordre a la gorge  |
Par sheytana : le 05/09/09 à 08:47:33
| Dire merci | Du coup je l'ai subtilement fait venir manger avec son papa  Ce copier/coller quoi  Il est comme Harry Potter, il a pris les yeux de sa mère  Et la tronche de son père  Y'en a qui osent toujours m'affirmer que la crinière de Tano est belle?  |
Par sheytana : le 05/09/09 à 08:53:31
| Dire merci | Il appelle Indie elle est ptet en chaleurs  Ils sont chous tous les deux, en fait, j'avais pas pris l'apn au début, mais quand je les ai vus tous mignons en train de manger ensemble, je suis retournée le chercher  Sultan est vraiment gentil quand même quoi  La grosse, je pense qu'il va ptet falloir que je la remette un peu au boulot et augmente la ration, parce que ces temps ci elle fait peine a voir, elle est difforme quoi   Ah oui et puis j'attend le MF pour elle aussi la semaine prochaine Un Zyzy au loin  Cette tronche quoi  Son ptit nez qui va nettement mieux  On voit déjà bien la différence de couleur avec l'été  Son "trou"  |
Par didie43 : le 05/09/09 à 09:43:30
| Dire merci | c'est vrai qu'ils sont choux le fils et le père !! |
Page : < < | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 > >
Pour préserver la qualité de ce forum, vous devez être membre pour participer à cette discussion..
Il y a actuellement (69 281) membres dans la communauté.
Devenez membre | Connectez vous
Les dernières annonces
a donner hongre
€
donation Très
€
a donner Pure
€
donne jument LUS
€
HONGRE DE 8 ANS
€
A donner cheval
€