sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: In each case, the property on hd(n1) added to the formula WWmight be different.
Sentence 2: this unfolding/folding mechanism reduces the initial problem (of inferring universally-quanti.ed constraints implied by the con­ junction of the inputs) to the problem of inferring quanti.er-free constraints implied by the conjunction of the inputs.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: To make sure our students can lead the trend of computer sci- ence in the foreseeable future, we need to introduce them to this important technology.
Sentence 2: in what follows, Section 2 reviews previous work related to ours; Section 3 provides a brief system overview; Sec- tion 4 presents the user interface; Section 5 discusses the thread status and history windows; Section 6 through Section 9 cover various supported synchronization prim- itives; and, finally, Section 10 has our conclusions.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Compared with them, our proposal differs in that (1) there is less boilerplate code to write recursive interfaces because MyType automatically supports covariant change of 2 Actually, Bruce once pointed out this idea as a solution to extensible parameterized visitors [5].
Sentence 2: f P[I] ok and .,This <: P,X <:J f S0 <: U0 and .,This <: P,X <: J f S0 ok and .,This <: P,X <: J;x : U,this :@This[I] f e0 :S0 and .f [N[H]/This]U0 ok.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: MOTS CLES : Modèle de documents, modèle d'intérac­tion, composants logiciels, boîtes à outil ABSTRACT The concept of document usually refers to data that documents contain, but rarely with actions that docu­ments can handle.
Sentence 2: toolglass Main Palette de couleurs Formes géométriques Figure 3: Application d une couleur à des formes géométri­ques La figure 3 représente les différents composants interac­tifs utilisés dans ce scénario.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Accessed at http://victoria.fciencias.unam.mx/ MoProSoftV1.3/espaniol/MoProSoft.html [13] Oktaba H. et al., Software Process Improvement: The Competisoft Project.
Sentence 2: the hard part was to make a decision about which people should be assigned to which area , i.e.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: If we follow the argument in this paper, then we think that we can afford to spend more on I/O bandwidth per server (as we will have signi.cantly fewer servers) and we conjecture that we should aim at at least 2 4 10 Gbps Ethernet ports per server or 1 4 SSDs (at 300 MB/s each) if using local storage.
Sentence 2: we conjecture that, in terms of hardware and programmer time, this may be a better option for the majority of data processing jobs.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Furthermore, any type that belongs to both the Show class and the Read class can be transported without involving FFI, as long as read .show is equivalent to the identity as usual so that we can serialize the data thus.
Sentence 2: let a = M 3; b = M 5 in unM $ add m (mul m a a)(mul m b b)) to get the result 2.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Recall again our example idea: (( ((  (be, predicate), ((element, first, (row, second, (matrix))), subject), (smallness, comparative),  ((three, than), object)), statement) (( (writing, predicate), (you, subject), (string, object)),  command), condition) The idea (element, first, (row, second, (matrix)) is ex­pressed in English as: the first element of the second row of the matrix, since in English additional descriptive ideas like (row, second, (matrix)) or just (matrix) are usually expressed using genitive phrases.
Sentence 2: 1.3..3 The Natural Language Problem Today, educational institutions as well as companies work to­gether in worldwide collaborative networks carrying out long enduring projects.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Categories and Subject Descriptors D.1.1 [PROGRAM-MING TECHNIQUES]: Applicative (Functional) Program­ming; H.3.5 [INFORMATION STORAGE AND RETRIEV-AL]: On-line Information Services; I.1.3 [SYMBOLIC AND ALGEBRAIC MANIPULATION]: Languages and Systems General Terms Languages, Web Applications, ComputerAlgebra, Symbolic Computation Keywords mathematical encyclopedias, quotations, an­tiquotations, metaprogramming, web services 1.
Sentence 2: so, for some services and typicallythose that generate a whole web page rather than a sectionin a web page, obj is just OCaml s unit.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This macro simply indicates that we should perform the self-callouts in sequence.
Sentence 2: buffer_eqc:put([0]) -> ok. Reason: {postcondition, {failed_to_unblock, [{buffer_eqc, put, [[0, 0]]}]}} The reason for the failure is explained to be that the second call to put did not unblock when it was supposed to.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Arrows indicate where a .deposit(m) and log .add(c,d,n) can be interleaved, assuming that a and a and log and log may point to the same objects, respectively.
Sentence 2: a data race is said to occur when two threads concurrently access some data, where one of these ac­cesses is a write, and where no synchronization exists between the * This work has been supported in part by the Defense Advanced Research Projects Agency (DARPA) under contract No.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: scheme period MAXSAT + TSP %> %= 1 14% 36% 15 64% 78% aOpt 30 78% 100% 45 71% 100% 100 14% 14% 1 21% 21% 15 64% 71% abestF S 30 71% 86% 45 78% 93% 100 21% 28% 1 7% 21% 15 21% 36% stdDev 30 28% 43% 45 28% 36% 100 14% 21% Table 2: Overhead provoked by the di.erent periods 1 15 30 45 100 58% 11% 6% 2% 1% while the abestF S also o.ers quite good results and it has the advantage that it does not require any additional infor­mation of the problem.
Sentence 2: most of the proposed techniques in this domain change their dynamics using the current status of the method and some histori­cal data.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Scope markers play nicely with all existing effect handler frameworks and can piggy­back on existing optimizations and convenience infrastructure (e.g., Template Haskell macros).
Sentence 2: prog sig a parse [ ] (Return a) = return a parse (x : xs) (Return a) = fail parse [] (Symbol c k) = fail parse (x : xs) (Symbol c k) | x c = parse xs (k x) | otherwise = fail parse xs (Other op) = Op (fmap (parse xs) op) This handler also fails if the input is not entirely consumed, or if the grammar expects more symbols.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: (If C had been .nal, dynamicTypes C would have expanded into the empty set).
Sentence 2: another analysis may com­pute this failure reason: failed (DoesNotModify, T::x, x = f ()) and failed (DoesNotModify, T::y, x = f ()) This means that the analysis failed because the statement x = f() might modify both T::x and T::y.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Because of the way that we de.ne the operations on traits, the se­mantics of a method is independent of whether it is de.ned in a trait T, or in a class (or a trait) that uses T as a component.
Sentence 2: note that this is quite different from using a loop, where one must know whether students is an array or a linked list before the loop can be set up.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As established in the original CRQ algorithm, only dequeue op­erations can change the index of a given ring slot, allowing it to be reused for a later element in the logical sequence of data .owing Figure 3: Performance on hot potato benchmark (second processor engaged at 13 cores)  through the queue.
Sentence 2: based on these tests, we recommend using the MPDQ in any application in which dequeuing threads need to wait for actual data.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This is a large exponential,but nevertheless terminates.
Sentence 2: label types, a , are three-tuples ( S , F, A ); S is a set of secrecy labels for the current object, F is a record containing sets of labels,representing the internal .elds of the object, and A is an .-type, atype representing the concrete class of the object, explained below.The type de.nitions are summarized in Figure 3. a ::= ( S , F, A )|t types S ::= {¯l}|sa|S .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Our approach also assumes that the number of really spawnedtasks(andsteals)isvery small.Thisassumptionjusti.es our approach, which accepts higher work-stealing(backtracking) overheads in order to achieve lower serial overheads than more conventionalLTCsuch asCilk.
Sentence 2: the former allows easy support for various platforms with existing C compilers, and the latter pro­videsahigherperformanceby using assembly-levelimplementa­tiontechniques.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: This is made even more complex by the fact that, apart from the microcell it­self and its data, the connections between the microcell and its neighbors need to be moved, as well as the connections between the microcell and the players in the microcell, or rather between the ActorController of the microcell and the players.
Sentence 2: the goal of the test was to have an indication of the perfor­mance impact of using JMS for the communication between MicrocellControllers.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The test results for the sample data sets show that the mechanism can ensure the upper users accessing the file systems transparently, reduce more than half of the data storage costs during protecting process, and greatly enhance the efficiency of service application data.
Sentence 2: cONCLUSIONS Continuity of service applications is related to the service security of many important industries and fields in the network environment.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As mentioned above, each device may need to use a specific protocol to communicate with the DHG.
Sentence 2: for instance, a light might be registered as the 11-th device within the driver that controls its domotic system (and which is presumably connected to its main control device), while its type is a light, supporting on and off events, and the location is the kitchen (Figure 3).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: DISCUSSION AND CONCLUSIONS In this paper, we have studied whether the analysis of the structure of the labels of biomedical ontologies might play an important role for the axiomatic enrichment of existing ontologies.
Sentence 2: [4] P. F. Brown, P. V. deSouza, R. L. Mercer, V. J. D. Pietra, and J. C. Lai.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Notice that playing the sequence of operations twice allows the observation that playing it successfully once have no side e.ect on replying itin adi.erent context(whereit couldpossi­bly fail); * 0..1 we have bounded opas op; GC,EA GC,EA * we have bounded GC as GC 0..2 .
Sentence 2: cambridge University Press, 1996.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Invariants are not always readily available: they must usu­ally be speci.ed manually at some point in the design pro­cess, which is time-consuming, and most commercial soft­ware is therefore not annotated by invariants.
Sentence 2: to answer this question, we used µJava with its default settings to generate Traditional Mutants (method muta­tions) of the 7 Gries examples, giving a total of 310 compil­able mutants.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: We also used the message stubs and a simple Table 1: Interface Veri.cation Performance Peer Time (sec) Memory (MB) CustomerRelations 8.86 3.84 LoanApprover 9.65 4.70 RiskAssessor 8.15 3.64 driver to enclose the environment of the application threads in a peer implementation.
Sentence 2: otherwise, the LoanApprover service sends a check message to the RiskAsses­sor service.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 2006-04-06. http://www.tucs../magazin/output.php?ID=2000.N2.LilDeEmPy [23] H. Liu, T. Roeder, K. Walsh, R. Barr, and E. G ¨un Sirer.
Sentence 2: flexCup [27] or diff-based approaches require the usage of specially crafted utilities to produce meta data or diff scripts required for uploading soft­ware.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: An around partial method can execute another around method or the original method by calling the proceed pseudo method.
Sentence 2: the result of the run method changes with respect to the user s surrounding environment; when it is used out of doors, the GPSNavi layer is active and the run method displays a map of the area obtained by the GPS; when it is used inside a building, it displays a .oor map of the building, because the WifiNavi layer is active; when the user is boarding the plane, both the GPS receiver and wireless LAN device are automatically switched o. because both WifiNavi and GPSNavi become inactive.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: An edge detector is however quite a small example.
Sentence 2: g e n s y m t e l l [ v + + " = g e t c h a r ( ) ; " ] return (Var v) compCMD (Put a) = t e l l [ " p u t c h a r ( " + + c o m p E x p r a + + " ) ; " ] The compCMD function generates code for a single instruc­tion, and is lifted for compilation of whole programs: c o m p i l e : : P r o g a .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [4]H.Dierks.PLC-Automata:anewclassof implementablereal-timeautomata.InM.Bertranand T.Rus,editors,Transformation-BasedReactive SystemsDevelopment,volume1231ofLectureNotes inComputerScience,pages111{125.Springer,1997.
Sentence 2: figure10:ControllerDesign Figure11:ProgramDesign Altogetherthecontrollerdesignisjustanotherinstanceof thegeneralrefnementpattern.Thedesignstartsfroma specifcationthatisobtainedbycollectingtheinterfaces ISafe1andIUtility1inaclassControllerSpec.Weshow thatthisclassisrefnedbyaclassControllerdescribing theobservablesin,standoutandtheirbehaviourbythe Figure12:DesignRefnementPattern PLC-AutomatonshowninFig.9.Clearly,therefnement reliesonaclassLinkControllerformalizingthelinkbe­tweentheobservablesoftheGRCmodel,viz.Empty,Appr, Cross,OPEN,CLOSED,andtheobservablesofthePLC­Automaton,viz.in,st,out.Interestingisthatinthiscase theproofoftherefnementcanbedonefullyautomatic.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Let wk,j denote the number of execution cycles allocated to the jth coreduring the execution ofjob Jk.
Sentence 2: figure2 shows the simulation results for platforms equipped with 2 and 4 DSPs, respectively, where MaxSpeed denotes the re­sults by setting the operating frequency as the minimum one that satis.es the timing requirement of the given video bitstream without dynamic adjustment.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: de Computadores e Sistemas Operacionais Universidade do Estado da Bahia Salvador, Bahia, Brazil muriloboratto@uneb.br Marcos Barreto Laboratório de Sistemas Distribuídos Universidade Federal da Bahia Salvador, Bahia, Brazil marcoseb@dcc.ufba.br ABSTRACT Auto-Tuning techniques have been used in the design of routines in recent years.
Sentence 2: architecture of an automatically tuned linear algebra library.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In order to achieve this robustness, two classes of failures need to be taken into consideration: On the one hand, communication failures are frequent in ad-hoc networks, on the other hand, the lack of a central control in such a network encourages deceitful behavior.
Sentence 2: the con­cluded contract between the involved parties is logged within the SLS and thus can be used by the reputation system to prove one s fair behavior.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: DEFINITION9.Considertwoomposableinterfae automataPandQ.Apair(vPu)EVpxVQofstates isompatibleifthereisanenvironmentEforP®Q suhthatnostateinlllegal(PPQ)xVEisreahablein (P®Q)®Efromthestate(vPu)}xVinit .Wewrite E Cmp(PPQ)forthesetofompatiblestatesofP®Q.
Sentence 2: assumethattheomponentCompisusedbyauser omponentthatexpetsmessagestobesuessfully sent,andmakesnoprovisionsforhandlingfailures.The interfaeautomatonUsershowninFigure1(a)models suhaomponentgafterallingthemethodmsg,ita­eptsthereturnvalueok,butdoesnotaeptthereturn valuefail.Theexpetationthatthereturnvalueisok isanassumptionbytheomponentCompaboutitsen­vironment;thatis,theomponentCompisdesigned tobeusedonlywithmessage­transmissionserviesthat annotfail.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Test Ontology We here present concepts used in the usability test process of SE integrated with UI models, followed by an example of the automatic generation of test cases from the AUI model, in order to show how it is possible to define usability test earlier in a SDP.
Sentence 2: figure 3 shows the test process ontology of SE related to a complete interface evaluation (usability, interface and functionality tests), using the UI models and our proposed method.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Furthermore, even in the absence of network partitions, data replication based high-availability systems require a tradeoff between consistency and latency as stated by the PACELC theorem [1].
Sentence 2: it is worth to take a look at how these problems are solved in database and distributed systems research areas to evaluate whether the same solutions apply or how they can be adapted in the context of RESTful services.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Here the two possible call sets (traversal orders) are {leftChild, rightChild} (lines 15 &#38; 16), and {rightChild, leftChild} (lines 18 &#38; 19), and which call set a point will take is decided before any recursive calls are made.
Sentence 2: prior work introduced point blocking as a method for improving locality for tree traversal codes when traversal sizes attenuate the bene.ts of sorting [19].
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Given x AFs, the maximum number of superstates in the ADD graph is x +1, in which case, all sets of cAFs of each super­state have the minimum number of cAFs, i.e., 1.
Sentence 2: to copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior speci.c permission and/or a fee.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As environ­mental scientists strive to prioritize the clear statement and com­munication of the semantics of natural systems in favor of un­derstanding software implementations of their models, Domain-Speci.c Languages may come to help, offering the option of truly declarative environment for environmental modeling.
Sentence 2: without suitable tools and languages, the paradigm shift required would carry a cost too signi.cant for widespread adoption.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Due to the low performance of atomic memory operations on the NVIDIA G200 architecture (and their non-existence on the G80 architecture), the limited performance of scattered writes to global memory, and the limited amount of shared memory available, an efficient histogram updating algorithm supporting an arbitrary number of bins is infeasible.
Sentence 2: we can take advantage of workload balancing schemas appropriate for each individual kernel: the bin assignment kernel runs on a 2D grid of thread blocks, whereas the histogram kernel runs on a 1D grid of thread blocks.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 1B-to-2b maps 1 byte of application memory to 2 bits of shadow memory.
Sentence 2: if we restrict the shadow metadata unit size to be a power of 2, this equation can be optimized using a shift as shown below, which is a faster operation than multiply on most architectures: addrshd = addrapp « scaleshift + offset (2)  2.3 Instrumenter The instrumenter inserts the metadata tracking (i.e., metadata map­ping and updating) code into the application code stream.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As .is a constructor symbol, for every pattern l,the terms lX and l. are also patterns.
Sentence 2: the function abs of Example 5 has the following parallel de.nitional tree:  abs(x1|x2,x3) abs(x1|x2,x3) abs(x1|.,x3) abs(x1|true ,x3) abs(x1|x 2, true) abs(x1 |., .)
Relationship: neutral
Domain: Software and its engineering
Sentence 1: GENERALIZING THE PUZZLE We showed in the previous section that solving k-set agree­ment among any given set of k +1 C-processes requires an 7A black-box simulation of Ax using (.C ,x)-set agree­ment objects is presented in [17].
Sentence 2: by outputting the identities of the (n - k) S-processes that were last to receive turns in the current run we emulate the output of ¬Ok: we output sets of n - kS-processes that eventually never contain some correct process.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Filinski also showed how to implement monads in a compos­able way [9]: given implementations of individual monads, and an order in which they can be layered on top of each other, he gives a semantics to their compositions.
Sentence 2: 3.5 Syntax-directed type inference Figure 6 presents a syntax directed version of the declarative type rules.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 4.3 K-Normalization (195 Lines) type KNormal.t (* K-normalized expressions *) val KNormal.f : Syntax.t -> KNormal.t val KNormal.fv : KNormal.t -> S.t We stated that compilation is about bridging the gaps between high-level programs and low-level code.
Sentence 2: we need to save the values of all registers that are live at that point, as implemented in an auxiliary function RegAlloc.g call.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In Proceedings of the 11th European Conference on Object Oriented Programming (ECOOP 97), Jyväskylä, Finland, 1997, 220-242 [3] Vdovjak, R., Frasincar, F., Houben, G.J., Barna, P. Engineering Semantic Web Information Systems in Hera.
Sentence 2: furthermore, this support is often intertwined with both the original application design (most often in the form of adaptation conditions spread over the different models) and its corresponding implementation.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [4] With the expanding and development of application field, the traditional campus card cannot satisfy requirements in higher safety and more complicated application requirements.
Sentence 2: a Solution of Wisdom Campus Based On RFID-SIM Xia Wei School of Electrical Engineering and Information Sichuan University No.24 South Section 1, Yihuan Road Chengdu, China +8613666160897 xiawei9033@163.com Liu Nian School of Electrical Engineering and Information Sichuan University No.24 South Section 1, Yihuan Road Chengdu, China +8613981935993  liunianis@gmail.com ABSTRACT In this paper, a solution of Wisdom Campus based on RFID-SIM is proposed.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Rather, by launching VMX modes, the execution environment is ex­tended with the two aforementioned operating modes; the running operating system is then associated with non-root mode, while the VMM is associated with root mode.
Sentence 2: functionEntry Breakpoint on function entry point FunctionExit Breakpoint on return address SyscallEntry Breakpoint on syscall entry point SyscallExit Breakpoint on return address v IOOperationPort Port read/write IOOperationMmap Watchpoint on device memory  Table 2: Techniques for tracing events might notify the analysis tool (i.e., the entry point of the event gate).
Relationship: neutral