sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: The smallest cells have side length 2¯r, they are the atomic units of re.nement.
Sentence 2: our experience with the PAFT even for simple 3D geometries suggests that generic domain decompositions obtained from state-of-the­art partitioning libraries can not always be meshed by state­of-the-art sequential AFT meshers like Jmesh [27]1 .simple block domain decompositions can create, for the subdomains, arti.cial and arbitrarily small features between the external boundary of the domain and the in­terfaces of the subdomains that deteriorate the quality of the elements.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [7] R. Kumar, D. M. Tullsen, P. Ranganathan, N. P. Jouppi, and K. I. Farkas.
Sentence 2: moreover, migrations, enabled by binary rewriting, reduce signi.cantly the ANTT in multiprogram work­loads where applications exhibit varying speedup potential from PE instructions.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The user can then interact with the simulation results using the visualization applet shown in Figure 7, this experiment plan to result visualization by distributing kidney modeling simulations over grid resources that have largely reduced the complexity of the usage and the computation time for batch experiments.
Sentence 2: we are able leverage various existing Grid technologies and build on our experience in the development of Grid-based platforms for e-Science applications in life sciences area.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: We consider only deterministic objects.
Sentence 2: two otherprinciples,fault tolerance and avoidance of unneces­sary synchronization,in.uenced ourde.nition.Forfault tolerance, wedo not rely onjust one clientpassing a single switch value.For ef.ciency reasons, we avoid the requirement that all clients switch with the same value because it would imply solving a potentially expensive agreement problem.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Neither FAs nor VPAs actually emit anything (except a yes/no answer); what we mean is that agivenstring isacceptedbytheproducer sautomaton.
Sentence 2: the VPA s constraints on the return transitions from the exit node of outputInt to each of the two return sites re­stricts thedata .ow, thus theproducer s language is inferred tobe .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For example, instead of declaring h as above, we could have the following de.nition: h::a. IOa hx= returnx The idea here is just that we anticipate the use of IO byanypossible advice.
Sentence 2: languages such as AspectML or Aspectual Caml, where pointcuts are de.ned separately from advices, offers better support for pointcut programming .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: However, those ap­proaches often have parameters that need to be speci.ed or tuned of.ine, and need some time to converge to the optimal(or near­optimal) decisions.
Sentence 2: 40 20 0 In System S, the SLO violation rate is the fraction of data tuples thathaveprocessing delay larger than thepre-de.ned SLO thresh­old(20 ms).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior speci£c permission and/or a fee.
Sentence 2: we then scan the rows of P ' from top to bottom, appending them at the end of C, O or R.given row number j in P ' : 'j (a) If p 1 is a variable, then append row j at the end of R. 'j (b) If p 1 is a constructor pattern, then.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Again, it s often not typicalend users who fol ow the blog and manyof these people we also hearfrom inothervenues (such as otherforums and conferences).
Sentence 2: participating inthe discussionforums was useful because it validated issues we were seeing elsewhere, raised awareness fordevelopers (who tookforum feedbackveryseriouslyand oftenused it to escalate the process of resolving a problem), and general ygave us broad input that wasn't limited to the areas we focused oninusabilitytesting.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [1]l.sp [7] :Else [8] sp[3 ~,]~-o 1+2xI [9] tree~-tree,[1]1.sp [i0] Cj por)~-sp[1 2]  [11] left~-(data[;]]Compare por)gdata [12] rlg]~t~-(-data[;]]Compare por)gdata [13] tree~-tree.
Sentence 2: the tree of that reduced size is shown in Figure 6 (a plot was created in the R statistical system): V71 < O.,OO321J23 V31111BK O.g14041S3 L4 LB VSB < O.L, .1 SB7 VBI < 0 .L8 4.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Attheendofeahsymbolifatorizationstep,wedeide whetherthenewolumnjbelongstothesamesupernode asolumnj-1,iftheolumnj-1wasomputedbythe sameproessor.Furthermore,toomputetheolumnjwe usetheprevioussupernodesinsteadofusingtheolumns 1,,j-1.
Sentence 2: theolumnsoftherootareassignedinawrap­mapman­nertotheseproessors.Thenitonsidersthesubtreesof therootindesendingworkloadorder.Itassignstoeah suhsubtreeanumberofproessorsproportionalwiththe workloadofthesubtree.Themethodontinuesuntilonly oneproessorremainsassignedtoeahsubtree.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In order to fully define the real-world object, TableCode extends the metadata that define the OO units, ad hoc, according to each real­world object and domain needs.
Sentence 2: tableCode defines the object in databases, then extends this definition (1) vertically by relating the object to the application model and the domain model that the object is a part of; and (2) horizontally by adding more definition and description to the object model (as well as to the application and the domain model) in order to fully define the object and the environment which surrounds it.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The organization of this paper is as follows: a review of literature is given in the next section; the third section presents the two clustering algorithms that are used for this research; in the fourth section the experiment and its results are addressed; and finally, the last section discusses the conclusion of this study.
Sentence 2: two issues have been tested in this research: a) does this method (the use of clustering algorithms) of data summarization work for this kind of research (i.e.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: We were lucky with our choice of Haskell and GHC and, in light of our experience, we would make the same choice again.
Sentence 2: categories and Subject Descriptors D.1.1 [Programming Tech­niques]: Applicative (Functional) Programming; D.2.3 [General]: Coding Tools and Techniques; D.3.2 [Programming Languages]: Language Classi.cations Applicative (functional) Languages General Terms Experimentation, Human Factors, Languages, Performance Keywords functional programming, Haskell, commercial pro­gramming, .nancial systems 1.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The second heuristic applied, the cost-only heuristic, derives an ordering from the costs incurred by the variables evaluation.
Sentence 2: 4.1 Redundancy Elimination Since a BDD representation corresponds to an evaluation strategy, redundant evaluations of atomic pointcuts can be characterized by a simple syntactic property: the existence of paths from source to sink on which more than one split is labeled with the same variable or, equivalently, the existence of paths which are not taken for any state x [24]; BDDs without such inconsistent paths are called free or read-once.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: If the assignments Vj:=7(Vi)and Vk:=7(Vi)were translated into constraints Vj=Viand Vk=ViV rather than into Vj<Viand Vk<Vi, as it is done by ABCD, the constraint system would imply Vj=Vk.
Sentence 2: the cycle of limitlis not amplifying.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: ¯b ' 1, ¯¯' '' b2 =(a,f+ f ' ).b2,and ¯b1 =¯b2.Intuitively, ¯b1 =¯b2 if for each i such that ¯b2 has a break at position i,it is the case that ¯b1 also has a break at that position, and moreover, if the block of ¯b2 at that position is (a,f)then at that position, ¯b1 has a sequence of zero blocks followed by a block (a,f ' )such that the length of the entire sequence is f. To get an intuitive understanding of our subtyping rela­tion, note that if f=f ' then N -£ N -£ ' ' 0(a,f)=0(a,f ) as the LHS corresponds to integers less than 2£ which are a subset of integers less than 2£ ' which is what the type on the RHS corresponds to.
Sentence 2: these types are used in a translation phase to remove bitwise operations from the pro­gram, thereby allowing veri.cation engines to avoid the ex­pensive low-level reasoning required for analyzing bitvector operations.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Some of these tech­niques have been integrated in developer toolsets (e.g., [13, 5]).
Sentence 2: we advocate that, analogous to the case of framework support for automatic output sanitization, web development languages and frameworks should support the automatic validation of web application inputs as an addi­tional security measure against both XSS and SQL injection vulnerabilities, as well as other security-relevant application logic .aws.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Speci.cally, our algorithm is an iterative process andworks as follows.We .rst sort all the scalar superwords  Input: A sequence of statements of a basic block, S =< Input: A set of decided statement groups D Input: A set of superwords, P S1 ,S2 ,S3 , ..., Sn > Output: The ordering of thegroupsin D and the sequence Output: Data layout for P ' .P Output: A set of decided statement groups D Q of the statements in each group D .D 1: Initialize C;//C: set of scalar superwords; 1: Identify candidate statement group set G; 2: Initialize Y;//Y: set of array reference superwords; 1: Initialize DG;//DG:groupdependencegraph DG.
Sentence 2: packing of  in  can be saved by reusing it in .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Demonstration of Model-driven Performance Prediction of Distributed Real-time Embedded Systems of Systems* Marianne Rieckmann Daniel Fraser Vanea ChiprianovSchool of Computer Science School of Computer Science LIUPPA The University of Adelaide The University of Adelaide University Pau &#38; Pays Adour Adelaide, Australia 5005Adelaide, Australia 5005France marianne.rieckmann@daniel.fraser@vanea.chiprianov@univ­adelaide.edu.au adelaide.edu.au pau.fr Claudia Szabo School of Computer Science The University of Adelaide Adelaide, Australia 5005 claudia.szabo@ adelaide.edu.au Katrina Falkner School of Computer Science The University of Adelaide Adelaide, Australia 5005 katrina.falkner@ adelaide.edu.au ABSTRACT Investigating the performance of system of systems raises signi.cant challenges due to their distributed and intercon­nected nature.
Sentence 2: tools used in the execution phase are o. the shelf applications, with domain speci.c add-ons and scripts used to integrate Jenkins and the CUTS tool suite.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: CONCLUSIONS AND FUTURE WORK 9Note that there is no technical reason why the atype speci.cations couldn t be given separately and woven after the .rst de.nition of a speci.ed variable" or before returning from a speci.ed func­tion".
Sentence 2: [10] L. D. Rose, K. Gallivan, E. Gallopoulos, B.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: It is always preferable to have values as high as possible for mean throughput, whereas as low as possible for delay, jitter, and BER/FER.
Sentence 2: architecture of the decision algorithm At this stage, suitable limit values (upper and lower) for the four QoS parameters related directly to objectives 3-6 are mapped at the backend for each of the three service types.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: To rollback to a checkpoint, a programmer may call the follow­ing function: boolean restore_ckpt(Ckpt ckpt); This function takes a previously created checkpoint as an argument and restores the state at each node (again, consistently) to that at the speci.ed checkpoint.
Sentence 2: cRR on its own is not suf.cient to properly han­dle network partitions.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Let eCndhebe the number of class names present in the constant pool at the end of a program run, andeLehaebe the number of classes loaded at time r. Figure 1 shows eLhe as a percentage of eCdeusing the default non-preloading (NP) classloader.
Sentence 2: in Proceedings of the ACM SIGPLAN 2000 Conference on Object-Oriented Programming Systems, Languages, and Applications, 2000.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: AHE does not manage resource availability; if a resource is down for maintenance for example, a user will be able to attempt to launch his application on the that resource, but the job will fail, and an error message will be passed back to the user.
Sentence 2: current develop­ment is being funded by EU FP7 VPH-NoE (223920) and ContraCancrum (223979) projects.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [8] H. Chockler, O. Kupferman, and M. Y. Vardi.
Sentence 2: rather than correcting the incorrectly vacu­ous formulas in our property set before proceeding with our experiment, we decided to use the property set as-is as a representative set of requirements that might be provided before a model is constructed.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The architecture of GUMP came into being after the realisation that it would be impossible to provide an automatic conversion from TCP to multicast due to protocol-speci.c behaviour of each proto­col.
Sentence 2: fur­ther, we would like to investigate how much protocols such as NORM impact the reliability of the message delivery com­pared to the standard multicast approach.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Many di.erent classes of device drivers, from audio to In.niBand, schedule a worker thread with the same frequency as the clocktickfor periodic maintenance and other reasons1 .
Sentence 2: global data that is changed on a core would cause cache line evictions in other cores inthe system, which is aperformancepenalty and scalabilitybottleneck.itisdesirable toavoid the clock tick on all possible cores and move the critical functionality that requirestheperiodicticks toadesignated CPU.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Liabilities 1 4 Non-Security Known 4 1 Uses 4 Non-Software Example 1 3 Participants and Respon­ 2 1 sibilities 2 Preconditions 1 1 Problem/Requirements 1 1 and Context 1 properties 1 1 Rationale 1 1 Relationships 1 1 Resultant Context 1 1 Security Factors &#38; Risks 1 1 Security Objectives 1 1 Social Dependencies 1 1 Strategies 1 1 Trade-Offs 1 1 1 Total # of Sections 53 There are 53 different sections or sections, such as Motivation, Solution or Forces that are used in software­security pattern publications.
Sentence 2: we select one of them to represent the section for the comparison process.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This problem is mainly due to the fact that current Virtual Machine Mon­itors (VMMs) do not simultaneously coordinate/schedule Virtual CPUs (VCPUs) that host threads/processes of par­allel applications with synchronization requirements.
Sentence 2: such types of applications su.er from signi.cant performance degradation, especially as the overcommitment is common in cloud.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: We also keep in RAM the addresses of the last few non-bad erase units that we accessed, to avoid checkingfor abad unitin every read.
Sentence 2: after every 10 16 KB sequential read accesses(or writes), weperformedtwo200B random read(or write)tothe100MB.le.randomreads/writescomprise about 16% of the total number of system calls, and sequential ac­cesses comprise about84%.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: On the Java side, the following interface speci.es the op­erations that a client can request from a server: package rli; import java.rmi.Remote; import java.rmi.RemoteException; public interface ServerStub extends Remote { public Object rli_in() throws RemoteException; public void rli_out(Object T) throws RemoteException; public int rli_ping() throws RemoteException; public int rli_stop_server() throws RemoteException; public Object rli_call(Object T) throws RemoteException; } Among them, rli_in and rli_out can be used to imple­ment message queues, rli_ping can test if a server is alive and rli_stop_server can be used to shut down a server re­motely.
Sentence 2: the following example illustrates how one can emulate message exchanges between agents coordinated cooperatively using the Linda protocol.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 3 VC Requirements Analysis (RA) As was illustrated in the previous section, use of an SPV tool with an unsound assertion semantics can at best lead to surprises, at worse, a false sense of secu­rity.
Sentence 2: the new definition of assertion validity gives rise to another kind of responsibility that comes to rest upon the specifier: he or she must ensure that the assertions written in contracts be always defined.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Of.ine compression algorithms algorithms that pro­duce compressed output only after seeing the complete input such as the ones proposed by Apostolico and Lonardi [1] and by Larsson and Moffat [23] explore how to reduce the compression ratio by compressing the whole .le instead of using online techniques such as SLZW [34].
Sentence 2: pM deployment had 13 locations while PDG deployment had 9 locations.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For example, the Adobe Flash plat­form is widely used to develop and design multimedia appli­cations, as it provides lots of features to help the graphical design.
Sentence 2: more and more research has been done in the .eld of development of multimedia applications, and it has become important to use sophisticated software engineering tech­niques to improve the multimedia application development, such as the model-driven development (MDD).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Assume A = B; if object a has type A and ob ject b has type B, we say that a is equivalent to b when MA (a) = MB (b).
Sentence 2: we have observed in some data binders that the following property is satis.ed, although not formally speci.ed: the di.erent pairs of functions are mutual quasi-inverses.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: WIMS 13, June 12-14, 2013 Madrid, Spain Copyright 2013 ACM 978-1-4503-1850-1/13/06 ...$15.00.
Sentence 2: we devel­oped  in conjunction with research project VizBoard [22] an ontology browser which is geared towards the handling of big datasets by facilitating automatic data reduction and appropriate interaction metaphors.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Values near 1 indicate that the system behaves more fairly since a device is accessing remote resources and sharing its local ones in the same ratio.
Sentence 2: 0 0 15 30 45 60 90 120150180 15 30 45 60 90 120 150180 Time Threshold (seconds) Time Threshold (seconds) Figure 1: Relative average energy savings (left) and fairness (right) over all the subjects (95 % confdence interval) by en­ablingaccess to nearby GPS data from neighbouringdevicesif available over Bluetooth.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Communicating with a Large Customer Base via Mobile Messaging Richard Hable Thomas Ebner Evolaris Next Level GmbH Evolaris Next Level GmbH Hugo­Wolf­Gasse 8­8A Hugo­Wolf­Gasse 8­8A A­8010 Graz A­8010 Graz +43(0)664/8414­439 +43(0)664/8414­434 richard.hable@evolaris.net thomas.ebner@evolaris.net ABSTRACT The widespread use of mobile phones has opened up new ways of communicating with large numbers of people.
Sentence 2: the platform administrative user interface had to be implemented as a client­server web application.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Furthermore, we only modi­.ed or added 132 lines of code for our port (Table 5.2).
Sentence 2: we introduce recovery mech­anisms semi-automatically into an existing multi-threaded software system where the synchronization mechanisms are pessimistic (e.g., locks, semaphores, or monitors), i.e., they do not support rollback of program state.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [19] R. Iyer, V. Tewari, and K. Kant.
Sentence 2: the inherently dynamic nature of grid work.ow scheduling, stemming from the unavailability of scheduling information and from resource contention among the (multiple) work.ows and the non-work.ow system load, may lead to poor or unpredictable performance.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The decreased number of passed arguments mini­mizes the number of required instructions for both the caller and the callee.
Sentence 2: procedure cloning solves this problem by cloning this function twice, one spe­ TriCore ARM Thumb Figure 4: Relative WCETs after Procedure Cloning cialized version for the constant 13 and one for 120.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The goal of this workshop is to provide a forum for researchers and professionals interested in global software development to meet and exchange ideas.
Sentence 2: wORKSHOP THEMES The workshop solicited submissions on topics that included: Software processes and practices improvement  Organizational models and strategies  Project management (e.g., risk management, progress monitoring, quality control, configuration management)  Knowledge management  Team communication and coordination  Managing peopleware (e.g., cross-cultural conflicts, distributed collaboration)  System architecture  Productivity and quality issues  IP protection and other legal aspects  Education and training of practitioners  3.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In order to accommodate larger, more realistic, multi­threaded programs, we extend the initial type system with a number of additional features.
Sentence 2: the core of our type system is a set of rules for rea­soning about the type judgment P; E; ls f e: t. Here, P (the program being checked) is included in the judgment to provide information about class de.nitions in the program; E is an environment providing types for the free variables of e; ls is a set of .nal expressions describing the locks that are held when the expression e is evaluated; and t is thetypeof e.the type rules track the set of locks held each program point.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The dynamic pro- gramming post optimization (DPPO) [2] performs dynamic programming over a given actor ordering (computed by any topological sort) to generate a buffer- efficient looped schedule.
Sentence 2: it in- cludes all of the automatically generated main() func- tion and subroutines, but excludes fine-grain functions unrelated to the DIF-to-C framework (i.e., those that are either obtained from libraries or implemented by hand).
Relationship: neutral