Search results for "Suite"
showing 10 items of 184 documents
Paper-based vs computer-based exams in CS1
2016
In this study, we examine the "test mode effect" in CS1 exam using the Rainfall problem. The participants started working with pen and paper, after which they had access to a computer, and they could rework their solution with a help of a test suite developed by the authors. In the computer- based phase many students were able to fix the errors that they had committed during the paper-based phase. These errors included well-known corner cases, such as empty array or division by zero.
Interdiction des poursuites individuelles. Inopposabilité d'une déclaration d'insaisissabilité à un créancier. Portée du droit de poursuite sur l'imm…
2021
International audience; (Com. 7 oct. 2020, n° 19-13.560, arrêt n° 499 F-P+B, Mme X. c/ Sté Caisse régionale de Crédit Agricole mutuelle Provence-Côte d'Azur D. 2020. 2007)
Computer-assisted orientation and drawing of archaeological pottery.
2018
Archaeologists spend considerable time orienting and drawing ceramic fragments by hand for documentation, to infer their manufacture, the nature of the discovery site and its chronology, and to develop hypotheses about commercial and cultural exchanges, social organisation, resource exploitation, and taphonomic processes. This study presents a survey of existing solutions to the time-consuming problem of orienting and drawing pottery fragments. Orientation is based on the 3D geometry of pottery models, which can now be acquired in minutes with low-cost 3D scanners. Several methods are presented: they are based on normal vectors, or circle fittings, or profile fittings. All these methods see…
En Bourgogne, insertion des jeunes de niveau 5, en 1980
1983
Référence interne : 83018; L'ONEVA, l'observatoire national des entrées dans la vie active, mis en place par le CEREQ en 1976, a pour objectif de faire connaître les conditions de passage des jeunes de la formation initiale à la vie active et d'observer les itinéraires professionnels selon la formation reçue : que deviennent les jeunes à leur sortie du système scolaires ? Dans quelles conditions s'insèrent-ils dans la vie active ? Poursuivent-ils des études ? Sont-ils chômeurs ? Quels emplois occupent ces jeunes en fonction de la formation reçue ? La possession du diplôme facilite-t'-elle l'obtention d'un emploi ?
Devenir des élèves ayant achevé en juin 1981 une formation à temps plein en électricité et électronique dans l'académie de Besançon
1983
Référence interne : 83003; Dans l'académie de Besançon, en juin 1981, 750 élèves ou étudiants arrivaient au terme d'une formation professionnelle à temps plein dans les spécialités de l'électricité ou de l'électronique aux niveaux CAP et BEP, BTN, BTS et DUT. Que sont devenus ces élèves et étudiants ? Combien ont poursuivi des études et lesquelles ? Dans quelles conditions s'est effectuée l'insertion professionnelle pour ceux qui l'ont recherché ? Y'a t'il concurrence entre les différents niveaux de formation ? Pour répondre à ces questions, il a été procédé à une enquête par voie postale, entre mars et juin 1992, auprès de tous les élèves et étudiants concernés. Les résultats de l'exploita…
SmartARP: merging IP and MAC addressing for low-cost gigabit Ethernet networks
1999
Abstract Address Resolution Protocol (ARP) is one of the key TCP/IP stack protocols, used on LANs to map 32 bit IP addresses into 48 bit hardware addresses. Regular ARP uses MAC layer broadcasts to perform the mapping. In this paper a new server-based ARP extension (smartARP) is proposed, which allows the extension of ARP functionality beyond a single MAC layer broadcast domain. Compared to regular IP router, smartARP together with simple broadcast-filtering switches presents a low-cost alternative for forwarding packets between MAC layer broadcast domains. SmartARP is transparent to existing IP hosts, operates independent of LAN speed, and scales for big networks.
A CORBA based architecture for distributed embedded systems using the RTLinux-GPL platform
2004
This paper describes an architecture for distributed computing on the RTLinux-GPL(GPL version of RTLinux, hereafter RTLinux) platform. The proposed architecture implements the CORBA (common object request broker architecture) model of computation, more specifically the minimum CORBA specification for embedded systems, and also provide the extensions for real-time computing. Since RTLinux lacks networking capabilities, the architecture implements all the required functionality in a layered fashion: network drivers, TCP/IP stack and an ORB (object request broker). Most of this work consists on a set of partings of some widely known open source Linux projects to RTLinux: Linux Ethernet device …
ZERO: An Efficient Ethernet-Over-IP Tunneling Protocol
2013
An Ethernet over IPv4 tunneling protocol is proposed, which categorizes all Ethernet frames to be tunneled into NICE and UGLY frames. The UGLY frames are tunneled by traditional methods, such as UDP or GRE encapsulation, resulting in substantial overhead due to additional headers and fragmentation usually required to transport long Ethernet frames over IP network typically limited to MTU=1,500 bytes. Meanwhile the NICE Ethernet frames are tunneled without any overhead as plain IPv4 packets due to non-traditional reuse of “fragment offset” or “identification” field in the IP header. It is shown that for typical Internet traffic transported over Ethernet, the proposed ZERO tunneling protocol …
Testu automātiska ģenerēšana
2016
Maģistra darbā ir apskatīti dažādi rīki un to pieejas testpiemēru ģenerēšanai ar ieejas datu kopu. Darbā tiek apskatīts reāli praksē pielietojams rīks – IntelliTest, kā tas ģenerē testpiemērus dažādām funkcionāli vienkāršām programmām, kas ir iekļauts Visual Studio programmatūras izstrādes vidē. Līdzīgi ir apskatīts arī EvoSuite rīks, kas ir atvērtā koda testpiemēru ģenerēšanas rīks. Tiek apskatīti rīku ierobežojumi. Autors piedāvā idejas šo rīku uzlabojumiem, ņemot vērā to ģenerētās testpiemēru kopas kvalitāti, iegūtos rezultātus.
A comprehensive study of automatic program repair on the QuixBugs benchmark
2021
Abstract Automatic program repair papers tend to repeatedly use the same benchmarks. This poses a threat to the external validity of the findings of the program repair research community. In this paper, we perform an empirical study of automatic repair on a benchmark of bugs called QuixBugs, which has been little studied. In this paper, (1) We report on the characteristics of QuixBugs; (2) We study the effectiveness of 10 program repair tools on it; (3) We apply three patch correctness assessment techniques to comprehensively study the presence of overfitting patches in QuixBugs. Our key results are: (1) 16/40 buggy programs in QuixBugs can be repaired with at least a test suite adequate pa…