sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: Eliminating rollbacks im­proves execution time from 6% of the original execution time with two threads to 13% with four threads.
Sentence 2: the .rst has a 2GHz 8-core Xeon processor with 3GB of RAM, while the second has a 2.66 GHz 8-core Xeon with 4GB of RAM.Both computers run CentOS Linuxversion 5.3.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 4.2 Machine Agent Like the lot agent, a machine agent is also sensitive to trackIn and trackOut events; for example, on a trackIn the machine agent removes the identi.ed lot from its schedule: on trackIn{lot=Lt;mc=Mc} at tm from factoryEvent do deleteScheduleEntry(Lt); It is important to note that many factories are manually controlled at some level.
Sentence 2: cONCLUSION StarRules is part of a complete platform that has been used in many large-scale applications.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As seen from Table 4, with such coordination, barrier completion time is reduced by 13%, compared to the un­coordinated case, and we also observe reduced variation across consecutive barrier runs.
Sentence 2: even with this sim­ple classi.er, we are able to see substantial bene.ts due to the .exible resource allocation achieved via in­Tune s mechanisms.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: ParaDrop: A Multi-tenant Platform to Dynamically Install Third Party Services On Wireless Gateways Dale Willis Department of Computer Arkodeb DasguptaDepartment of Electrical Suman BanerjeeDepartment of Computer Science Engineering Science University of Wisconsin dale@cs.wisc.edu University of Wisconsin arko@engr.wisc.edu University of Wisconsin suman@cs.wisc.edu ABSTRACT The landscape of computing capabilities within the home has seen a recent shift from persistent desktops to mobile platforms, which has led to the use of the cloud as the pri­mary computing platform implemented by developers to­day.
Sentence 2: in Proceedings of the 5th ACM Workshop on Embedded Systems For Energy-E.cient Buildings, BuildSys 13, pages 5:1 5:8, New York, NY, USA, 2013.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Archface4COP: Architectural Interface for Context-Oriented Programming Naoyasu UbayashiKyushu University Ai Di Kyushu University Yasutaka Kamei Kyushu University Fukuoka, Japan ubayashi@acm.org Fukuoka, Japan templarad@gmail.com Fukuoka, Japan yasutaka.kamei@gmail.com ABSTRACT Context-awareness plays an important role in developing .exible and evolvable applications such as self-* systems (e.g., self-adaptive, self-healing, and self-management sys­tems).
Sentence 2: the veri.cation approach in RV4COP is basically the same as the mechanism shown in [17].
Relationship: neutral
Domain: Software and its engineering
Sentence 1: T. (b)ThethreadT returnsorterminates.Ifthedequeisnotempty,theproessorbeginsworkingonthebottom thread.Ifthedequeisempty,ittriestostealandexeutethreadT'sparent.Otherwise,iftheparentis busy,theproessorattemptstoworksteal.
Sentence 2: computingthenumberofdollarsintheworkbuketis straightforward,beauseeahtimetheproessorompletes oneunitofwork,itputsadollarintheworkbuket.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Umax T1 154 25 10 T2 138 28 60 T3 160 24 10 T4 148 26 60 Energy Model S3 S2 S1 S0 E1 1.0 0 0 0 E2 0.75 0 0 0.25f3 m E3 0.5 0 0 0.5f3 m LaEDF, LaEDF-NA, and StaticEDF perform DVS on periodic tasks with known worst-case workload, which is unavailable in our application model.
Sentence 2: in practice, the S3, S2, S1, and S0 terms depend on the power management state of the system and its subsystems [11, 13].
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For example, the way in which I interact with my desk is determined by the way I construe it do I polish it carefully because I see it as something to be looked after or do I put my feet up on it because I see it as a con­venient resting point?
Sentence 2: note that the bottom­left shadowed slot in Figure 5 can be regarded as a concern that has already been localized: Report[shop] is a sub-task of Manage[shop] , therefore the parent task depends on the realization of its child.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The type in the corresponding factor into the equation (14), were:  u =105 .251 + 259 .54 p + 0 .00432 g  (16) + 0 .0289 pg -0 .73156 p 2 -0 .064 g 2 The use of programmable logic device in accordance with the type (16) the fusion of pressure sensor output to program and then test pressure on the system calibration, the calibration data obtained in Table 2.
Sentence 2: first of all, through the pilot detected a range of 20kpa to pressure overload sensors in different conditions, the output signal, see table 1.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The OSR-based technique identi.es po­tentially important feval calls, and then uses McVM s OSR tech­nology to specialize the feval calls to speci.c direct calls, and to provide correct backup to the general case when the specialized calls do not match the calling context.
Sentence 2: because of this problem, we always call the code that matches an fef via a wrapper.6 A wrapper is a short function.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: getAvailableCapabilities()); if (satisfied) satisfied = capConsAllAgents( rest (al )) ; } return satisfied ; } private static boolean capConsAllRoles (List  rl , List  avCaps) { boolean satisfied ; if (rl.isEmpty()) satisfied = true ; else { satisfied = allElemsInList(first(rl).
Sentence 2: the result checker will just give a reliable insur­ance for correctness if its checking algorithm is formally ver­i.ed.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Given that the future system load cannot be predicted by the run-time system, we seek an instantaneous might intuitively want to allow the better-behaved program, A, to use more hardware contexts than B since it makes bet­ter use of each hardware context.
Sentence 2: first, results are provided intended to demonstrate that the over­heads imposed by the SCAF runtime and daemon are neg­ligible.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Addresses of unboxed values, .nite regions and region descriptors inside an activation record are statically deter­mined o.sets from the stack pointer.
Sentence 2: it turns out that for all the benchmark programs men­tioned in Section 4, the weakening of region inference as described here has no visible e.ect on memory usage or ex­ecution time.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: INTRODUCTION During past decades, the capacity of NAND .ash memory has been increasing dramatically, leading to the use of non­volatile .ash in the system s memory hierarchy.
Sentence 2: [6] P.-H. Hsu, Y.-H. Chang, P.-C. Huang, T.-W. Kuo, and D. H.-C. Du.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: A sequence of GT rules is non-suspicious if it satis.es three conditions: (1) it does not contain any con­.icting operations; (2) if a rule requires satisfaction of a pre­condition, the previous rule in the sequence induces the sat­isfaction of the pre-condition; (3) no rule deletes nodes (this prevents inconsistent states).
Sentence 2: every time a LSC is traversed, each message in the LSC triggers the application of the GT rule associated with the message.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In R. F. Paige and B. Meyer, editors, TOOLS EUROPE 2008, volume 11 of Lecture Notes in Business Information Processing, pages 161 177.
Sentence 2: a_Factory contains an inner class B which is a subclass of a class A which contains the virtual class T. B is obtained from A by adding a new mixin %{ T::cv }, which binds the value of cv to the virtual class T. if we create an instance of A_Factory.B then it will be a subclass of A such that its T virtual is exactly the value that A_Factory.cv had when that instance was created.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The goal holds trivially with Z = Ø.
Sentence 2: the slice of this program is given by: 1: bool i, s; 3: i = Bernoulli(0.7); 12: if (!i) 13: s = Bernoulli(0.2); 14: else 15: s = Bernoulli(0.95); 20: return s; Example where the usual de.nition of slicing is incorrect.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Our prototype correctly handles procedures with multiple exits, non-returning procedure calls (e.g., ExitProcess), inter-procedure jumps (e.g., to shared error handling code), and the tail-jump optimization; it currently does not support implicit control .ow through exceptions raised by instructions or in callees.
Sentence 2: the equivalence relation =P+FP is weaker than =P and =FP.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Recall that structural typing means that two types are the same if they have the same structure.
Sentence 2: prior work on integrating structural typing with con­crete, non-research languages, includes signatures, a C++ language extension which combines structural typing with the existing nominative features of the languages [6, 7], safe structural types for JAVA [20] and the work of B¨ uchi and Weck on Compound Types [11].
Relationship: neutral
Domain: Software and its engineering
Sentence 1: ACM Transac-tions on Programming Languages and Systems, 15(5):745-770, 1993.
Sentence 2: the LLL, LWrite, LRead, LSC, and LVL operations are respec- tively linearized to the points at which statements 1, 6, 10, 11, and 12 are executed.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Figure 1: Firings/returns and space units for v-topdown, v-bottomup, s-topdown, and s-bottomup for the running example.
Sentence 2: they cannot infer fewer either, since the added hypotheses are de.ned by rules whose hypothesis subsume existing hy­potheses, therefore they cannot be false while all other hy­potheses are true.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Categories and Subject Descriptors D.3.4 [Software]: Processors Code generation, Compilers, Optimization  General Terms Algorithm, Design, Experimentation, Performance  Keywords Stack data, local memory, scratchpad memory, SPM, em­bedded systems, multi-core processor 1.
Sentence 2: as shown in Figure 4, a set of cuts have been added on arti.cial edges in advance.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Technical material, as well as the implementation of an explicitly typed language based on a fully re.exive variant of .L can be found at: http://www.cis.upenn.edu/~dimitriv/itaname/ 1.2 Contributions of this work This paper makes the following contributions: We de.ne a language that allows the de.nition of both Kinds .
Sentence 2: to ensure that it is safe to apply the branch to the subcomponents of the type argument, the rule for typecase requires that the second label set in the type of the map be at least as big as the .rst label set.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In this context, AGOhg-live+ is a completely automatic algorithm that is able to outperform existing ap­proaches.
Sentence 2: cPU 100/100 15.82 1929.00 10.40 1/1 64.00 1887.00 0.00 1/1 64.00 1887.00 0.00 giop10 Hit Len.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: By nondeferred , we mean any RC technique that has three invariants: (1) all live data have posi­tive reference counts; (2) the reference count is zero when the last reference disappears; and (3) a zero reference count implies dead data.
Sentence 2: to a compiler phase that only manipulates values, such as copy propagation, the superscript will be opaque, but not the parenthetical argument.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Figure 5(a) shows that vmrncESP is around ~wme as slow as vmmcOmg fbr 4 byte messages and 38 % slower for 4 Kbyte messages.
Sentence 2: princeton, edu ABSTRACT This paper presents the design and implementation of Event- driven State-machines Programming (ESP)--a language for programmable devices.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Additionally, in the lower left corner the overview image presents another context for vis­ited web pages stored in browser cache, which was explored by our previous work in [3].
Sentence 2: hence, to capture all meaningful information available from the name of the .le itself and the folders in the .le path, these are extended with holonyms, hypernyms, meronyms, hyponyms and synonyms provided by WordNet (JWNL API5), a lexical reference system for English lan­guage, thus enriching the .le s context.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Since rematch always calls itself recursively on the immediate sub­problem and all results are memoized, we only need to ensure that backtracking with respect to the largest problem, i.e., backtracking at position i,where i is the length of the pattern, is done in lin­ear time.
Sentence 2: partial evalua­tion then takes quadratic time, because the overall workload has not been reduced only moved.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The apple.com, tumblr.com, and cnn.com sites use three static with in the same pattern, and we found that the with statements are all from the script.aculo.us library.
Sentence 2: to simplify the discussion of the with rewritability in Section 4.3, we separate the Global pattern Figure 4: Number of with statements in each usage pattern in the LOADING data set   Figure 5: Number of with statements in each usage pattern in the INTERACTION data set from the Generator pattern: even though we cannot rewrite with statements including arbitrary dynamic code generating functions to other statements in general, we can rewrite with in the Global pattern as a special case as described in Section 4.3.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Let us denote the paths in the collection by Q1,...,Q£-1,R1,R2, where v1 is the endpoint of R1 and v2 is the endpoint of R2.
Sentence 2: b1 is also at the intersection of Q1 with some solid path P1, that must be a di.erent path than P ' (since b1 is not the blue star).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The function lookupDecoratedName takes a class name C and a classbox name a and returns a .F-label that denotes a valid decorated class name Cß, if such a name exists in the classbox a.
Sentence 2: cLASSBOXES IN A NUTSHELL In order to address some of the problems of object-oriented programming languages with regard to incrementally chang­ing the behaviour of existing classes, Bergel et al.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Once again the motivation behind the application and combination of these two concepts were driv­en by having a need for variability management (40%); in addi­tion, they were motivated by having a need to achieve reusability, and to support dynamic product line adaptation.
Sentence 2: to determine which concept is being used as the core meth­odology and/or the concept that is being improved by apply­ing one to another.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Stepped (t ,restoreAction) -> do let ts = replaceWithPos m t ts checkRes <-checkThreads ts n True [1..length ts ] restoreAction case checkRes of Just path -> return (Just (threadId:path)) Nothing -> checkThreads ts n1 False ms This search for deadlocks already .nds nearby deadlocks during debugging.
Sentence 2: validating an implementation is in many cases restricted to testing.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For example, the approach in [20] assumes that the most costly nest in the program will be optimized by either pure loop or pure data transformations, but not both.
Sentence 2: in two other codes (ocs and aps), however, over- heads caused by tiling degraded the performance of the v7 version, motivating the research in better integrating lin- ear loop/data transformations with tiling.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: We use soft real-time scheduling to meet 35 30 power (watt) the performance and CPU requirements of multimedia tasks.
Sentence 2: our experimental results, based on the real implementation and mea­surements, show that although PDVS uses a heuristic solution for the NP-hard energy optimization problem, PDVS provides signi.­cant bene.ts for both energy saving and performance support with acceptable overhead.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Para­virtualized VMs (e.g., Xen [5]) present a modified hardware interface which is optimized to reduce the overhead of virtualization, but they require the guests OSs to be modified too in order to accommodate these changes.
Sentence 2: for the application developers and users, the proposed system will enable them to conveniently deploy their applications on large numbers of existing resources and conduct massively parallel computing.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: A software-related cause or control described the behavior or design of FCSW (flight computer software), the FC (flight computer), a specific CSCI (computer software configuration items), or used the word software.
Sentence 2: the goal of our case study was to implement a software safety measurement program on a large, safety-critical system of systems: the NASA Constellation program.1 As NASA s next generation spaceflight program, Constellation consists of rocket propulsion, a crew module, operations, and many more systems.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The edge and the core machines are connected via a dedicated 1Gbps link; the total aggregate network throughput did not exceed 1Gbps, and our experiments are not bound by our ExperimenTor con.guration s bandwidth or CPU resources.
Sentence 2: the universal rate limit should be chosen to degrade the performance of high bandwidth users, and conse­quently provide incentives for them to operate their own relays.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In Proceedings of the 21st International Symposium on Software Testing and Analysis, 2012.
Sentence 2: if one considers the constraints within a path condition to be represented as a constraint graph (V, E) where the vertices V are the symbolic vari­ables and the edges E indicate whether two variables are part of the same constraint, then slicing can be de.ned as a graph reachability problem: 1.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Finally, the constructor de.ned in the lines 23 28 may explicitly call all other 3 construc­tors: base() calls BaseCollaboration.Base, tsuper would call Super.Role.Role() and super would call Collabora-tion.SuperRole.SuperRole().
Sentence 2: the performance and scalability problems we experienced are due to the operation that is classi.ed by Benavides et.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Figure 1 The system structure of informationalized management and service platform of real estate construction projects in Shanghai 3.1 The hierarchy of online service On the basis of core applications such as content management, website management, synchronized information renewal, information sharing, the hierarchy of online service provides: a. the common service functions such as online help, approval affair introduction, search engine, instant government affair issue, etc., b. some individualized service functions, e.g.
Sentence 2: european Conference on e-Government, 2001:233-245 [6] Tambouris E, Spanos E.P1atform and Network Architecture Functional Specifications.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: For example, the sequence annotation ( ; ) can be added to the appropriate AND goal decomposition to indicate that the subgoals are to be achieved in sequence from left to right.
Sentence 2: annotations that apply to OR decompositions are usually more solution-oriented and indicate how (e.g., in parallel to save time or in sequence to conserve resources) the alternatives are to be executed.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: First-class iterator objects in JMatch are somewhat slower be­cause iterator state is checkpointed, as discussed in Section 6.4, and because iterator code can no longer be inlined.
Sentence 2: for example, the simple list iterator of Section 3.4 can be written even more compactly as a logical formula, ignoring for now the issue of imperative update: boolean contains(Object o) iterates(o) ( head == o|| tail != null &#38;&#38; tail.contains(o) ) When this formula is treated as an iterator, the disjunction op­erator || de.nes different ways to satisfy the condition that o is contained in the list.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Since these instructions are reversible, the program can be run back­wards.
Sentence 2: combine the generated sets of reverse instructions in a way to make those sets complete in the opposite completion order of the instructions in T  Given a program T as an input, the reverse code gen­eration (RCG) algorithm presented in this paper generates an instruction-level reverse program T ' for T by perform­ing the three steps mentioned.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 5.2 Performance evaluation model Assuming a perfect data level parallelism with complete isolation and perfect load balancing among the Packet Pro­cessing modules, the cumulative processing performance of the system is Psys = Nmod * Pmod (1) where Nmod isthenumberofparallel Packet Processing modules in the system, and Pmod is the throughput per­formance of each Packet Processing module.
Sentence 2: this results in poor load balancing performance [18] and further impact­s the overall performance.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: An example case of executing four applications simultaneously using the four servers with an aggregate cache capacity of 2 GB (512 MB on each server).
Sentence 2: if there is a re­quirement to enforce one applications cache allocation to a particular server, we could just allocate the cache size deter­mined by the .rst step of our algorithm on that server and our algorithm ensures that thespeci.edI/O latencyrequire­ment is guaranteed and the overall I/O latency is minimized with that allocation.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: A secure/con.ict check should be implemented for GM (n) after an update of GM such as: (1) when a user is added to an existing group; (2) when a privilege is added to an existing role or an arc is add to LRP ; (3) when a new group or a new role is created; (4) when an arc is inserted in LU R ; and (5) a new con.ict constraint is added.
Sentence 2: redA(LRP ) = {(r3, p6)}; (GR) = TCGR - {(r2, r6), (r1, r6)}; and TCGR = {(r1, r4), (r1, r5), (r1, r6), (r4, r6), (r2, r4), (r2, r6), (r2, r3)}.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Good compilers have a lot of bullets in their gun; each particular bullet may only be really effective on a few targets, but few pro­grams evade all the bullets.
Sentence 2: this apparently-simple re.ne­ment complicates (H6): we only want to specialise f for the nested call pattern if f not only case-analyses x,but also case-analyses the argument of the Just.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Despite the tight coupling to numbers, we see declaration .les use enums to describe .nite enumerations of string values.
Sentence 2: this has con­sequences for users of the declaration .le: First, editors that provide code completion (also called autocompletion) will suggest that an expression like d3.scale.th is completed to d3.scale.theshold(), which will pass the static type check, but fail at runtime.
Relationship: neutral