sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: With the inputs of the responsive  Pattern  Static Runtime Code Extraction Analysis Cure Refactoring Domain Event Responsive &#38; Hang Bugs Knowledge Traces Blocking Patterns (ranked) Figure 3: Architecture of the hang analysis system.
Sentence 2: similarly, we estimate sets in the form V ×C for other properties such as may-nonzero and may-null listed in Ta­ble 1, and evaluate corresponding blocking conditions.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Imple­mentation, PLDI 98, pages 313 323, New York, NY, USA, 1998.
Sentence 2: the OGI inserts this immediately after the in­structions where it is safe to deallocate all the objects grouped by the given tag.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In this paper, we propose to combine the best of both bottom-up and top-down detections, i.e., automated algorithms and human analyst to improve the accuracy of detection.
Sentence 2: the method by which important data is presented to a user is critical; the data presented to the user must be filtered down to only the essential information and presented in a format that is easily interpreted and sufficiently relaxed (i.e., not mentally demanding) such that the user can keep up with the real-time processing of the computerized front end and maintain this pace for the entire length of the surveillance task, which might require hours of attentiveness at a time.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For even though there may still exist many possible executions of the model due to the interleaving and bu.ering choices allowed by MPI these executions must all be the same in certain signi.cant ways.
Sentence 2: by Corollary 11, there is a synchronous .nite execution pre.x S with the property that any synchronous extension of S is compatible with T .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The guard [idrid] on RcvAuthRsp indicates it can be enabled only on receiving a non-duplicate Authentication Response Message.
Sentence 2: the RFC only provides Permission to make digital or hard copies of all or part 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: neutral
Domain: Software and its engineering
Sentence 1: Regarding the first two steps, developing or borrowing theories of human problem-solving in software engineering and then basing tools on those theories, an obvious objection arises: most researchers in software engineering are not trained in social sciences.
Sentence 2: this objection may be one reason progress in this area has been so slow, but it is not a good argument against the need for this step.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: It should be noted, that the number of prefetches that are initiated is not necessarily indicative of the performance of the scheme.
Sentence 2: we also present one set of execution cycle results for one billion instructions with five of the applications with high TLB miss rates to compare DP and RP using sim-outorder (as can be imagined, these experiments take an excessively long time).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In the case of 2D Torus graphs (shown in Figures 7 and 8), we observe that with more than two threads, the application does not scale.
Sentence 2: capacity: integer tasks: array of Task constructor LifoIwsq(integer size) { anchor := .0,0.; capacity := size; tasks := new Task[size]; } void put(Task task) { Order write in 3 before write in 4 1: .t,g.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The tool is flexible and expandable for simulating and evaluating various hierarchy generation and maintenance approaches or combinations of them.
Sentence 2: [2] Manousakis K., McAuley A. J., Morera R., Applying Simulated Annealing for Domain Generation in Ad Hoc Networks, International Conference on Communications (ICC 2004), Paris, France, 2004 [3] Manousakis K., McAuley A. J., Morera R, Baras J.S., Network and Domain Autoconfiguration: A Unified Approach for Large Dynamic Networks, IEEE Communications Magazine, Feature Topic: Advances in Self-Organizing Networks, August 2005 [4] Manousakis K., McAuley A. J., Distributed Active Hierarchy Maintenance in MANETs, IEEE International Conference on Communications (ICC 2006), Istanbul, Turkey, June 2006 The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied of the Army Research Laboratory or the U.S. Government.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In D. Garlan and D. L. Metayer, editors, Proe.
Sentence 2: a bid-tuple made by a provider p for a service request by client c should behave like a secure message (in the sense of Section 2) from p to c.  Such secure bidding is supported under LGI by law £sB in Figure 2.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This low precision led us to further investigate the intermediate changes by taking the weekly snapshots between two major releases 0.9.16 and 0.9.17, which resulted in 12 snap­shots from January 9, 2004 to March 26, 2004.
Sentence 2: for the case of systems that consist of a set of subprojects, such as a set of related plugins within the Eclipse plat­form, it is straightforward to incorporate an additional subproject layer between the virtual root and package layers in algorithm 4 and thus enable the identification of the moves of packages.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The start tag of a runnable thread is computed as max(Fi)if the thread just woke up si =Fi if the thread is continuously runnable (6) Initially, the virtual time of the system is zero.
Sentence 2: we then ran two thttpd web servers and assigned them different weights (1:1, 1:2, 1:4 and 1:7).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 3.6 Evaluation semantics The evaluation semantics is fairly straightforward except for its handlingof marking.
Sentence 2: usingthe standard conformance relation of types (i.e., a value v has type T ), we say that a type S is a subtype of T if and only if every value of type S is also of type T.This way of de.ningsubtypingis quite powerful, and known to be useful in particular for exploiting.exibilities of XML data in pro­cessing programs.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: But this is not tight, since the fact that routing between the points u,v is per- formed in this level can be used to deduce that the distance between them is at least 2 I-2 hence allowing us to bound the resulting stretch more effectively.
Sentence 2: for every cluster S~ E ,.gl we first build a spanner Hi t with bounded degree A(H~) < k. We can use the 0-graph spanner described in Section 3.1 as H with stretch factor c(k) as in Prop.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Limitations of the prototypes prevented us from investigat­ing these questions through a long-term deployment that may have provided strong qualitative and quantitative evi­dence.
Sentence 2: in the initial concept, the user would be able to replay, at any moment in time, sounds heard in the recent past, up to a defined maximum time span (for example, up to one hour in the past).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [5] V. Chippa, A. Raghunathan, K. Roy, and S. Chakradhar.
Sentence 2: 11: end procedure 12: procedure LAT I N HYPERCUBE SAMPLING(H[n],dim,k) These are small hyperboxes obtained by discretizing the edges, and 13: for i =0 to k do selecting only a subset from among them.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As the autonomy of UAVs increases and interfaces improve, switch costs gradually become the bottleneck which limits the number of UAV's that a single operator can manage or be aware of [4].
Sentence 2: the 'Castling Rays' (shown in figure 2), enable the operator to view on the video stream window, at a glance, which UAV has the optimal line of sight to his/her target.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 2 to state that class N inherits from class M and that class M aggregates class Q.Equivalently, one could have reversed the relationships (and, graphically, the arrows) by saying that M generalizes class N and that class Q is aggregated in class M without in.uencing the structural complexity of the system.
Sentence 2: the intersection of modules m1 and m2 (notation: m1 n m2) is the module .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This framework takes a multi-faceted approach under the rationale that ERP adoption will have significant impact on the organizational, technological, and behavioral aspects of the company.
Sentence 2: permission to make digital or hard copies of all or part 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: neutral
Domain: Software and its engineering
Sentence 1: There are two pipes added that connect filters and ports that define the filters roles: PutNewNextBlock that transfers the new types of block generated from NewBlockGen into TetrisCore through the 1111 port, DoMakeNewNextBlock that sends a request message to NewBlockGen through the 4444 port.
Sentence 2: 13 shows the architecture of the LE-Tetris.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Other tools like gnuplot [12] also o.er simple real-time commands to generate charts into images as well as HTML.
Sentence 2: most of these web applications use charting tools such as d3 [2], googlecharts [3], primefaces [10], highcharts [1, 4] which are open source charting tools based on JavaScript and jQuery and provide excellent visualization of the data.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: When talking about the expected conver­gence time of ss-Byz-2-Clock, it is convenient to think of an in.nitely long coherent interval T =[r, 8].
Sentence 2: set save := 0; (d) u.clock(A) = 3: if received n - f 1 in previous beat set u.full clock := save + 3; else if received n - f 0 in previous beat set u.full clock := 0; else if rand =1 set u.full clock := save + 3; else if rand =0 set u.full clock := 0; .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Boyapati and Rinard propose a sys­tem of type annotations for Java that ensures a well-typed program is race-free and allows the programmer to write a generic class and subclass it with different protection mechanisms [5].
Sentence 2: a happens-before detector would recognize that globalFlag = 1; in Main.executemust happen before the child thread is started, and therefore before the test of globalFlag in method childThread.run, and therefore there is no potential race there.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The in.uence of the Problem Frames approach and related work is spreading in the .elds of domain modelling, busi­ness process modelling, requirements engineering, software architecture as well as software engineering in general.
Sentence 2: they consider the synthesis of the SysML and Problem Frames approaches and argue that the synthesis can help the transition from the requirements to the design stage.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In testing terms, we may say that the sum of the collection of .rst order mu­tants is more demanding to test than the union of its parts .
Sentence 2: in Proceedings of the 8th International Working Conference on Source Code Analysis and Manipulation (SCAM 08), pages 249 258, Beijing, China, 28-29 September 2008.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Moreover, di.erent mappings of the library onto the target platform can give vastly di.erent speed-ups: a test program computing a hash (based on SHA-1) of 1KB of data took 87.8s, 43.4s, and 2.2s, for three di.erent mappings of the library onto the multiprocessor SoC platform used in this work.
Sentence 2: the SPE is a domain-speci.c programmable processor on which security computations are performed once they are o.oaded from one of the host ARM processors onto MOSES.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: http://dx.doi.org/10.1145/2660252.2694749 Walter F. Tichy Institute for Program Structures and Data Organization Affiliation Karlsruhe Institute of Technology (KIT) tichy@kit.edu  1.
Sentence 2: wolf is a principal designer of the performance-analysis tool Scalasca, which is installed at nu­merous HPC centers around the world and which has been suc­cessfully applied to optimize academic and industrial codes.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: not Pi+j stand,respetively,forthelause'sidentifer,the"negation­as­failure"operator,therule'sonsequent,andtherule's anteedent.Ifi =j =0thelause(rule)isalled"fat"and representedasrk :P1.
Sentence 2: thesenullvaluesombinedwithameta­theoremsolveren­abletheonstrutionofargumentsthatrelynotonlyon rulesthatarepositivelytriggered(i.e.,theirlogialvalua­tionaftervariableinstantiationistrue)butonallthethree logialvaluations:true,falseandunknown.Thisreasoning overinompleteandunknowninformationisextremelyim­portantinECsenariosduetothepervasivenatureoffuzzy negotiationsituations(e.g.agentA isabletodealprodut P withagentB usingthesetofonditionsC1,howeverit isnotknownifitandothesamethingwithasetC2 leadingtofurtherdialogue).Formalizingthedefnitionof negotiationargument: Defnition2.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Systolic al­gorithms currently exist for a wide range of dense ma­trix problems commonly found in scienti.c computing and digital signal processing [18, 2] as well as some sorting andgraphproblems [21].
Sentence 2: these architectures share several characteristics which make them a tempting target for systolic designs: multiple processors connected by high-bandwidth, low-latency net­works.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Students are expected to use these in their assignments; thus the toCelsius() method listed in Figure 4 might be implemented something like what is shown in Figure 5: public Temperature toCelsius() {Temperature r = null;double m = myMagnitude;switch (myScale) { case 'C': r = new Temperature(m, 'C'); break; case 'F': r = new Temperature((m-32.0)/1.8, 'C');break; case 'K': r = new Temperature(m-273.15, 'C'); break; default: System.err.println("toCelsius(): " + "myScale is invalid: " + myScale); } return r;   } Figure 5.
Sentence 2: without a path to a solution, they may end up lost.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Any instance which isin oneof IA or IB, but not in the other, is in only one possible state: its state in A,if itisin IA, or its state in B, otherwise.
Sentence 2: any instance Ii, which is active in A but not yet ready to terminate in A, is in one possible state: its state in A.If Ii has already terminated in S1, then its current state is its state in B. Fi­nally, if Ii is in a position to terminate in A, then it may choose to continue in S1 (if possible) without terminating, or to proceed as in B.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Forexample,intheareaofasynhronousparallelomput­ing,theproessorspeedsareassumedtohangearbitrarily andadversarially.Unfortunately,thisworst­aseassump­tionmaybetoopessimistiandmayleadtoineÆientshed­ules.Intheareaofshedulingtheory,theproessorspeeds areassumedtoremainonstant,andtheshedulerisal­lowedtohaveglobalknowledgeofthestateofthesystem, alargeamountoftimetorun,andofineknowledgeofthe strutureoftheomputation.Basedontheseassumptions, thesystemisunrealistiallypreditableandthesheduleris unrealistiallypowerful.Themodelisthispaperisabridge betweentheassumptionsofasynhronousparallelomput­ingandthoseofshedulingtheory.Wefurtherdesribe thesefeldsandthenproeedtodesribethemainresultsin thispaper.
Sentence 2: byonsideringallthreeases,weonludethatthereisat leastaonstantprobabilitythatthetotalpotentialdereases byatleastaonstantfator.byapplyingCher­nofBounds,weonludethatafteratmostO(W.)phases thepotentialhasdereaseduntilitiszero,bothexpeted andwithhighprobability.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As Table 1 shows, message sizes near 50KB approximated the maximum throughput reason­ably well.
Sentence 2: these functionalities are implemented in the strategy level of our ATS system architecture (see Figures 1b and 1c) by the Signal, H-Signal, and Trader agents, which we use for decomposing the trad­ing strategy problem in signal generation and trading subproblems.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Because scoped promises derive their effectiveness largely from stylized naming conventions, the degree to which they reduce an­notation density varies from one system to another; these results are typical within our case study experience.
Sentence 2: to address these complications, we build a call graph that includes all known overridings of (or implementations of, in the case of Java Interfaces) the statically-apparent invoked method.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In many ways our approach resembles the methods presented above, where a reflexive relationship between ethnographic researching and in-situ appropriation of technologies in situations of use engages in co-realization.
Sentence 2: in these last minutes, the design researcher intervenes and connects Karl s and the cardiologist s discussion around Furix (bloated stomach) to an experiment of participatory design and performative ethnography: Could Karl and the cardiologist possibly want to collaborate in new ways?
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For architectures without available hardware parallelism (e.g., ss1), highly optimizing compute-limited applications can cause pipeline backend structures to .ll, resulting in longer delays and higher error rates.
Sentence 2: other possibilities include optimizations to overlaps errors in a single cycle to reduce the e.ective errors per cycle and optimizations to redistribute errors in the processors to reduce the e.ective error recovery overhead.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In short, formal, semi-formal, port the complexity associated with SoS software architec-and informal representation were found.
Sentence 2: currently, semi-formal ADL, in particular, UML and its derivations, have been a trend; however, consider­ing critical characteristics of SoS (e.g., emergent behaviour, evolutionary development, and geographic distribution), for­mal techniques and languages must be widely introduced in order to adequately represent SoS architectures.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: By analyzing users verbal and behavioral data using Schön s reflection­in-action design model and the notion of ideations from creativity literature, we discovered insights into end-user programmers problem-solving attempts, successes, and obstacles, with accompanying implications for the design of end-user programming environments for mashups.
Sentence 2: our work makes three contributions: 1) the me­thodology of applying a theory-based design perspective to programming, 2) evidence of the usefulness of using this approach through insights gained, and 3) the insights them­selves into end-user programmers problem-solving at­tempts, with implications for design of end-user program­ming environments for mashups.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: MPP (N, N ' )) if all the following conditions hold: Firing conditions are preserved;  Places are preserved, meaning no new arcs are added to mapped places;  fT , fP and fS are injections, and fS is persistent, meaning S ' is a correct extension of S;  N ' embeds N, meaning all arcs are mapped, more pre­cisely, there can be more places in the pre and post do­mains of a mapped transition than in the corresponding domains of the original transition;  A ' is merely extended for new parts in A by fA, or it is merely renamed.
Sentence 2: for now, any Mls Fs model (like the one depicted in Fig.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The average number of Vars per file is 3.91, which also indicates a low complexity level.
Sentence 2: grouping of VP nesting levels in the last version Nesting Level (M1) 1 2 3 4 5 VP Count 7988 5082 833 64 2 there are a few VPs with a high nesting level (up to five), and maintaining such code is very expensive.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As already mentioned, along with agents, ob jects are the other .rst-class computational abstraction, representing the set of (possibly shared) resources and tools that agents can use/observe as well as dynamically create in order accom­plish their tasks.
Sentence 2: a big gap still exists between such existing proposals and the programming level, which typically relies on pure OO frameworks and technolo­gies.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The Compare-Select is one of the essential oper­ations in the Viterbi kernel, so a specialized max instruction is available: in addition to selecting the maximum value, it also keeps track which of the two operands is larger by set­ting a bit in a Vector Mask (VM) register.
Sentence 2: traditional Single Instruction Multiple packed Data (SIMpD) instruc­tions that operate on vector registers are supported as well.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: RELATED WORK Dynamic program invariants have been subject of study by many researchers [8, 9, 22].
Sentence 2: the performance for the bitmask screener varies between 60% and 70%, for the range screener it varies 76% and 81% (meaning that 30-40% and 19-24% of the code has to be inspected on average to .nd the fault, respectively).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Average cost of a single memory management operation in live VM migration on Xen using PMigrate without optimization, PMigrate with read lock and PMigrate with range lock in microsec­ond.
Sentence 2: [10] S. Boyd-Wickizer, A. Clements, Y. Mao, A. Pesterev, M. Kaashoek, R. Morris, N. Zeldovich, et al.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Many real-time pro­grams can now be written as simple Java programs where devel­opers pay attention to the timing properties of the application logicwithout having to be overly concerned about interference from thevirtual machine.
Sentence 2: we adopt theRe.ex terminology in calling a Flexotask s heap-allocated classesstable, although they are not invariably long-lived as in the Re.exmodel.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This is because the superblock scheme shares D­ blocks and U-blocks among several logical blocks and orga­ nizes all physical blocks with an out-of-place scheme, which increases the chance of the switch merge.
Sentence 2: for example, if the superblock size is four, four logical blocks whose logical block numbers are 0, 1, 2, and 3, be­long to the superblock 0.
Relationship: neutral