sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: The compositional or hierarchical real-time framework [8, 20] enables a group of real-time applications to be a single real-time resource requirement to the upper layer of real­time environments.
Sentence 2: we assume that a RT-VM Vi is de­.ned from multiple real-time applications, {tk (rk,wk,dk,pk, fk)|k =1,...,n}, of the service by using compositional real­time technique.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: This allows cloud schedulers to randomly distribute jobs to proces­sors with statistically more uniform global behaviour in execution time and processor utilisation.
Sentence 2: the principles of CL at a hardware parallelism level and as taught in computer systems engineering undergrad­uate courses can be exploited for higher-level software co­ordination in grid and cloud applications through the CL dwarf, as identi.ed in the classi.cation of parallel software architectures.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Foracompletegraph,PoA =1,andforastar,PoA = 2.Foracompletegraph,whena> 1,bothNashequilibriaandso­cialoptimaplaceonereplicaatoneserver,soPoA =1.Forstar,when1 <a < 2,theworstcaseNashequilibriumplacesreplicasatallleafnodes.However,thesocialoptimumplaces (n-1)a+1 onereplicaatthecenternode.Therefore,PoA = = a+(n-1) 2(n-1)+1 = 2.Whena> 2,theworstcaseNashequilibrium 1+(n-1) placesonereplicaataleafnodeandtheothernodesaccesstheremotereplica,andthesocialoptimumplacesonereplicaatthe a+1+2(n-2) n center.PoA = =1+ =2.
Sentence 2: a+(n-1) a+(n-1) v Foraline,thepriceofanarchyisO( n).When1 <a < n,theworstcaseNashequilibriumplacesreplicasevery2a sothatthereisnooverlapbetweenareascoveredbytwoadjacentserversthatcachetheobject.Thesocialoptimumplacesreplicasatleast v every2a.Theplacementofreplicasforthesocialoptimumisasfollows.Supposetherearetworeplicasseparatedbydistance d.Byplacinganadditionalreplicainthemiddle,wewanttohavethereductionofdistancetobeatleasta.Thedistancereductionisd/2+2{((d/2-1)-1)+((d/2-2)-2)+... +((d/2- v d/4)-d/4)}=d2/8.dshouldbeatmost2 2a.the v distancebetweenreplicasinthesocialoptimumisatmost2a.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: To summarize, as we demonstrated, PPT did not only pro­duce the exact same regression tree showing the same pat­terns, it also resulted in a reasonable prediction performance when we generated the OLS models from the perturbed data based on the COCOMO model.
Sentence 2: pPT success­fully met our research objective of preserving privacy while preserving the utility of the perturbed data when used for research purposes.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: An exception to this overall trend is the LBM benchmark, in which the EDP im­provement for coupled execution is larger than for decou­pled, due to the fact that its write accesses are coupled with computations during the execute phase.
Sentence 2: this applica­tion does not take the complete advantage of the decou­pled execution which decouples only the read accesses from computation.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: The result of this desug­aring step is a homogeneous abstract syntax tree, which con­tains only nodes declared in the initial SugarJ grammar (if some user-speci.c syntax was not desugared, the compiler issues an error message).
Sentence 2: this tree represents one of the prede.ned top-level entries in SugarJ and is therefore com­posed only of nodes describing Java code, grammar rules or desugarings.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: EXPERIMENT DESCRIPTION The goal of this experiment is to assess whether the use of stereotypes improves the understanding of UML sequence diagrams.
Sentence 2: by using the GQM template for goal definition [1], the goal of our experiment is defined as follows: Analyze the use of stereotypes for the purpose of evaluating it with respect to the comprehension of UML sequence diagrams from the point of view of the researcher, in the context of fourth year undergraduate students in Computer Science from the University of Bari .
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Since AspectJ s join points are regions in time rather than events, we had to add the before and after keywords to our add and remove expressions.
Sentence 2: compiling to a different target language with native support for events (e.g., EScala [11] or Composition Filters [2], the point-in-time join-point model [16]) would in.uence the notation of these expressions.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: The reason for this is that reclationships such as l_< i or i_</, where I denotes a legal type and i denotes an illegal type, would contradict program correctness as we go up the lattice.
Sentence 2: a bounabd type lattice s that is serviceable even in the presence of type incorrect programs should have the general form shown in Figure 1.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: 6; (atomic (seq(l2 := 7,l1 := !l2))) i (l2 := 4) Weak allows a sequence of steps where the .nal value in l1 is 4.
Sentence 2: the two languages are not equivalent,but there are still manyprograms for which they are (i.e., anyresult possible in one language is possible in the other).
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: As Figure 14 illustrates, the problem is that interrupts are not disabled immediately after calling TOSH INTERRUPT at line 1.
Sentence 2: a long whistle at the right frequency will cause the tone detector interrupt on the Mica Sensor Board to contin­ually .re, preemptively invoking the handler routine mul­tiple times in a row and causing a stack over.ow.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: For example, most keywords, like resource, can contain any nested keyword (as shown in the contract in the lower-right of the .gure), but collection, member, and namespace can contain any keywords except collection and member (as shown in the contract in the upper-right of the .gure).
Sentence 2: we see that RDL allows the con­tract structure and the implementation structure to differ if needed.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: If the SRT scheduler admitted a SRT task with Eavg/P = 0.1 by using condition U - u0 + Eavg/P = 0.95 < 1, the system would be overloaded with utilization U = 0.95 + 0.1 = 1.05 >1, when VS-CBS0 becomes serving later.
Sentence 2: in this algorithm, we use a variable U* to keep track of the amount of reclaimed bandwidth, instead of directly modifying utilization U, when adjusting the speed.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: "2 Guy Steele Coming back from general semiotics to programming, the important questions are the following: what would the es­ 1 The idea of the semiotic triangle has been developed by several philoso­phers at different times.
Sentence 2: the actually used notions for three constituents of the semiotic triangle vary a lot, although the idea behind them is the same.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Software is not only produced by software companies but also within companies and organizations from traditional sectors ranging from automotive to telecommunications to banking and insurance.
Sentence 2: the ability to Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Actually, concerning the assistive service, we propose sequences of activities which are related to preparation of breakfast in order to assist the patient with cognitive impairment in these ADL.
Sentence 2: our system includes an algorithm for the activity recognition (see Algorithm 1) that allows recognizing the scenario performed according to the electrical appliances used and a prompting algorithm to evaluate the need to intervene if the patient has difficulty to complete it.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: By applying the Box and Jenkins approach described in Section 2.4.1, we obtain that the spectrum of the time series of S1 contains a frequency peak at 0.2 i.e., the series has a period every 1/0.2 = 5 days and that ARIMA(2,0,1) and ARIMA(1,0,0) are good models for the time series of S1 and S2 respectively.
Sentence 2: we could forecast the future value of X for S1 and S2, by means of these ARIMA models, and .nally, we select the service between S1 and S2 with higher probability to meet the QoS constraint.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Our decompiler maps registers in the assembly code to global variables of type int with 32-bit values; the 16­bit and 8-bit registers (which are aliases of parts of the 32-bit registers) are also mapped to the appropriate 32­bit global.
Sentence 2: the 8-bit register %al and the 16-bit register %ax, which refer to the low 8 bits and the low 16 bits of the 32-bit register %eax respectively, are both mapped to the variable eax denoting the 32-bit register %eax.
Relationship: reasoning