Filters








201,994 Hits in 3.6 sec

Checking Cleanness in Linked Lists [chapter]

Nurit Dor, Michael Rodeh, Mooly Sagiv
2000 Lecture Notes in Computer Science  
When applied to several intricate C programs manipulating singly linked lists, the new algorithm yields more accurate results, does not report any false alarm and usually runs even faster and consumes  ...  We refer to these errors as memory cleanness errors since they should never occur in bug-free programs.  ...  searches a linked list but with a typical error of not checking for the end of the list delete.c deletes a given element from a linked list del all.c deletes an entire linked list insert.c inserts an  ... 
doi:10.1007/978-3-540-45099-3_7 fatcat:oznakv7maneapdt4kvdy2ekcim

Paper copy to online

Kristina A. Cunningham, Tammy Hohlt
2004 Proceedings of the 32nd annual ACM SIGUCCS conference on User services - SIGUCCS '04  
With so many students working in the Computing Sites in this technical age, why are so many of us still trying to push paper copies of anything?  ...  This tool handles shifts/schedules, clock-in/out, timesheets, site and staff information, sites hardware and software inventories as well as many other pieces of information.  ...  Now, a Consultant can click on the view/manage sites link, locate the site currently working in and click on the cleaning link. A list of machine names will open in a window.  ... 
doi:10.1145/1027802.1027856 dblp:conf/siguccs/CunninghamH04 fatcat:x2ke7hulazedbnrjs63dchjyha

Page 247 of POWER Vol. 82, Issue 5 [page]

1938 POWER  
Partial operation, usually of the air-handling system, during the winter months is the rule in other plants. For these reasons, many of the items in the check list below will not apply.  ...  Clean and oil fan motors and lubricate drives. Inspect V-belts or drive chains, replace worn strands or links, adjust tension.  ... 

Page 122 of POWER Vol. 99, Issue 1 [page]

1955 POWER  
’s check list and stay with the lube rig.  ...  Check weekly, refill annually 12 weeks Clean, repack every 5 years Clean, repack every 5 yeors 24 weeks Clean, repack every 5 years Weekly PLANT OPERATION AND MAINTENANCE SECTION  ... 

Revenue recovery for operational SONET/SDH networks

Wee Teck Ng, P. Risbood, S. Acharya, E. Lafontaine
2006 2006 Optical Fiber Communication Conference and the National Fiber Optic Engineers Conference  
Large SONET/SDH networks typically have 20-30% "stranded" resources, both in wasted bandwidth and in untracked hardware.  ...  This may result in degraded reliability than that promised in the service level agreement and can potentially impact a carrier's revenue.  ...  In our study we go beyond standard syntax and schema checks to detect semantic errors too. Data cleaning is done in a pipeline approach.  ... 
doi:10.1109/ofc.2006.215780 fatcat:dkokffcu4jfq5mv2p4pishcr6i

Financial Entity Record Linkage with Random Forests

Kunho Kim, C. Lee Giles
2016 Proceedings of the Second International Workshop on Data Science for Macro-Modeling - DSMM'16  
First we check with proposed rules if the record pair can be exactly matched after cleaning the entity name and address.  ...  Initial evaluation for precision, recall and F1 measures on two different linking tasks in the Financial Entity Identification and Information Integration (FEIII) Challenge show promising results.  ...  After selecting candidate matching pairs to link, we use a two step method. First, we propose rules to clean the data and check if a candidate pair is exactly matched.  ... 
doi:10.1145/2951894.2951908 dblp:conf/cikm/KimG16 fatcat:7fzeh7k6wvhtzf7rv5fbllvvma

Understanding NHS hospital admissions in England, Scotland and Wales: data linkage to the King's College Military Cohort Study

Daniel Leightley, Zoe Chui, Laura Goodwin
2017 International Journal of Population Data Science  
Further, record completeness, diagnoses accuracy and data cleaning impact the data quality.  ...  First, admission and discharge date were checked to ensure a valid date. Second, episodes were checked for consistency, ensuring that no records for individual participants were duplicated.  ...  Further, record completeness, diagnoses accuracy and data cleaning impact the data quality.  ... 
doi:10.23889/ijpds.v1i1.293 fatcat:j5kifzftnbaszen3gn4qposz2e

Page 59 of Mechanical Engineering Vol. 78, Issue 4 [page]

1956 Mechanical Engineering  
The link, which can be assembled in a few seconds, consists of a pair of body halves, a tubular stud and a hardened alloy steel pin. 173 ELECTRICAL PRECIPITATORS Research-Cottrell, Inc.  ...  It covers cleaning, descaling, de rusting, paint stripping, rust prevention, sani tizing, treatment of water in humidifying, air con ditioning, refrigerating units.  ... 

Determination of Failure Cause in Remanufacturing

Hak Soo Mok, Hyun Su Song, Deuk Jung Kim, Jin Eui Hong, Seung Min Lee, Jung Tae Ahn
2015 Procedia Engineering  
In this research, we analyzed characteristics of target product (power steering oil pump of vehicle) and designed a new algorithm which let us know the cause process of possible failures that can be occurred  ...  Fig. 5 5 contains two check lists. Check list I shows part lists for each failure mode, test conditions, possible failures. Check list II identifies the link between failures and each process.  ...  In this step, we should check the applicable part list from Fig. 5 . Pulley, vane, rotor, cam-ring, bearing are exist in the part list for 'noise'. First, pulley enters into algorithm.  ... 
doi:10.1016/j.proeng.2015.01.337 fatcat:4p2ynfhykrfy7nh3nlgwoifl5u

Taxonomic perils and pitfalls of dataset assembly in ecology: a case study of the naturalized Asteraceae in Australia

Brad R. Murray, Leigh J. Martin, Megan L. Phillips, Petr Pyšek
2017 NeoBiota  
The protocol produces a final dataset (FD) linked to a companion dataset (CD), providing clear details of the path from existing lists to the FD taken by each cleaned taxon.  ...  Taxa are checked off against ten categories in the CD that succinctly summarize all taxonomic modifications required.  ...  The working list at this stage of the process becomes the FD of taxa linked to the CD.  ... 
doi:10.3897/neobiota.34.11139 fatcat:yfapw542oneo5op2njyxus3pfy

Model-based Generation of a Requirements Monitor

Fabian Kneer, Erik Kamsties
2015 Requirements Engineering: Foundation for Software Quality  
Core part of respective approaches in the field is a requirements monitor.  ...  We present in this paper a model-driven approach to enhance requirements documents by goal models, assertions, and parameters in a way which is (1) understandable to requirements engineers and (2) a su  ...  We define two kinds of assertions, one to handle the softgoal satisfaction and one for the contribution link type. An example SoftgoalAssertion is shown in Listing 1.3 and Figure 6 .  ... 
dblp:conf/refsq/KneerK15 fatcat:2yrapunpaff6tft5arkzvysvsq

Lazy Dynamic Input/Output in the Lazy Functional Language Clean [chapter]

Martijn Vervoort, Rinus Plasmeijer
2003 Lecture Notes in Computer Science  
In this paper we explain how dynamics can be communicated between independently programmed Clean applications.  ...  This is an important new feature of Clean because it allows type safe exchange of both data and code. In this way mobile code and plug-ins can be realized easily.  ...  We would also like to thank the Clean-group for taking part in discussions and for making numerous small changes all over the system, the Hungarian students Mátyás Ivicsics and Zoltan Várnagy for their  ... 
doi:10.1007/3-540-44854-3_7 fatcat:vce4b7o2e5e4pevhhs7sjiw6wm

Guidelines Document: Metadata Template Version Control [article]

Ami Saji, Laura Morales
2021 Zenodo  
(an international network of more than 200 researchers active in the ethnic and migration studies field) and FAIRETHMIGQUANT (a French Agence Nationale de la Recherche funded Open Science project).  ...  . -- The EMM Survey Registry is jointly being produced by SSHOC's Task 9.2 (Ethnic Migration Studies) team of Work Package 9 (Data Communities), in close collaboration with COST Action 16111 – ETHMIGSURVEYDATA  ...  Which subnational level 32 and check if each of the subnational levels identified in the cell are already listed.  ... 
doi:10.5281/zenodo.5784002 fatcat:ejb6m2465bb27gegzpvrxo33pq

Cleaning different types of DOI errors found in cited references on Crossref using automated methods

Ricarda Boente, Arcangelo Massari, Cristian Santini, Deniz Tural
2021 Zenodo  
After the cleanup, the cleaned DOI names are checked for their validity again.  ...  First, to determine an automated process, the errors that characterize the wrong DOI names in the list need to be classified.  ...  -A function is applied to the list of citing-cited DOIs, to check the validity of the cited ones.  ... 
doi:10.5281/zenodo.4914003 fatcat:udn5iptyrvbwfpuymxsfqycma4

Cleaning different types of DOI errors found in cited references on Crossref using automated methods

Ricarda Boente, Arcangelo Massari, Cristian Santini, Deniz Tural
2021 Zenodo  
After the cleanup, the cleaned DOI names are checked for their validity again.  ...  First, with the goal of determining an automated process, the errors that characterize the wrong DOI names in the list need to be classified.  ...  -A function is applied to the list of citing-cited DOIs, in order to check the validity of the cited ones.  ... 
doi:10.5281/zenodo.4734512 fatcat:voz4s5aqnvbbnjloesraaeye7a
« Previous Showing results 1 — 15 out of 201,994 results