Filters








24 Hits in 3.8 sec

Non-Intrusive Structural Coverage for Objective Caml

Philippe Wang, Adrien Jonquet, Emmanuel Chailloux
2011 Electronical Notes in Theoretical Computer Science  
This paper presents a non-intrusive method for Objective Caml code coverage analysis.  ...  The purpose of this approach is to make available a method to generate code coverage analysis with the same binary for testing and for production.  ...  This work takes place in the Coverage Project which studies non-intrusive coverage tools for Ada (to Power-PC) and Objective Caml (to Zam).  ... 
doi:10.1016/j.entcs.2011.02.006 fatcat:cckx5bhamragrcoa2l6eqijdze

KQguard: Binary-Centric Defense against Kernel Queue Injection Attacks [chapter]

Jinpeng Wei, Feng Zhu, Calton Pu
2013 Lecture Notes in Computer Science  
Kernel callback queues (KQs) are the mechanism of choice for handling events in modern kernels. KQs have been misused by real-world malware to run malicious logic.  ...  Current defense mechanisms for kernel code and data integrity have difficulties with kernel queue injection (KQI) attacks, since they work without necessarily changing legitimate kernel code or data.  ...  We thank Chenghuai Lu for sharing his knowledge and experience on real-world malware and Open Malware for sharing their malware samples.  ... 
doi:10.1007/978-3-642-40203-6_42 fatcat:hpcc5ra7hjdhpldm5v7q7mjh54

Complete issue

2017 CAML Review / Revue de l ACBM  
Over the past two years, I have acquired a number of recordings produced outside of Iran to compensate for this gap, but more needs to be done to achieve better coverage.  ...  In CAML we are fortunate to learn from the example of our predecessors and build toward the future. All my best to my CAML colleagues in 2017.  ...  vendors visited during fieldwork Name of organization Description Notes Mahoor Institute of Culture and Art By far the largest and most important publisher of music monographs and scores, and responsible for  ... 
doi:10.25071/1708-6701.40284 fatcat:r7x45py5t5dqxdr27tjrn46nry

Detection and characterization of volcanic ash plumes over Lille during the Eyjafjallajökull eruption

A. Mortier, P. Goloub, T. Podvin, C. Deroo, A. Chaikovsky, N. Ajtai, L. Blarel, D. Tanre, Y. Derimian
2013 Atmospheric Chemistry and Physics  
Moreover, the non-spherical fraction retrieved by AERONET significantly increased.  ...  The impact of such an eruption emphasized significance of hazards for human activities and importance of observations of the volcanic aerosol particles.  ...  The work presented firstly demonstrated that intrusions of non-spherical particles, mostly affecting the coarse-mode part of the VSD, were observed from Lille AERONET data.  ... 
doi:10.5194/acp-13-3705-2013 fatcat:6d323l6vjnddlb63lk6tdbtewa

Detection and characterization of volcanic ash plumes over Lille during the Eyjafjallajökull eruption

A. Mortier, P. Goloub, T. Podvin, C. Deroo, A. Chaikovsky, N. Ajtai, L. Blarel, D. Tanre, Y. Derimian
2012 Atmospheric Chemistry and Physics Discussions  
The work presented firstly demonstrated that intrusions of non-spherical particles, mostly affecting the coarse-mode part of the VSD, were observed from Lille AERONET data.  ...  The micro-lidar used was the Cloud and Aerosol Micro Lidar (CAML) developed by CIMEL (Pelon et al., 2008; Leon et al., 2019) .  ... 
doi:10.5194/acpd-12-31031-2012 fatcat:b7t5gyhajbebvgqansn4dfo2de

WebDSL: A Case Study in Domain-Specific Language Engineering [chapter]

Eelco Visser
2008 Lecture Notes in Computer Science  
Ocsigen: typing web interaction with objective Caml. In A. Kennedy and F.  ...  There is a natural tension between coverage and expressivity. Non- functional requirements are just as important as functional requirements.  ... 
doi:10.1007/978-3-540-88643-3_7 fatcat:ooqyqluajbacvnengokp6xlpl4

The MACC-II 2007–2008 reanalysis: atmospheric dust evaluation and characterization over Northern Africa and Middle East

E. Cuevas, C. Camino, A. Benedetti, S. Basart, E. Terradellas, J. M. Baldasano, J.-J. Morcrette, B. Marticorena, P. Goloub, A. Mortier, A. Berjón, Y. Hernández (+2 others)
2014 Atmospheric Chemistry and Physics Discussions  
In the present work, atmospheric mineral dust from a MACC-II short reanalysis run for two years (2007–2008), has been evaluated over Northern Africa and Middle East using satellite aerosol products (from  ...  We find a good agreement in dust layers structures and averaged extinction vertical profiles between MACC-II, the lidars and CALIOP above the marine boundary layer from 1 to 6 km.  ...  One of the main objectives of the lidar at Santa Cruz de Tenerife is providing information of the vertical structure of the Saharan Air layer (SAL) over the North Atlantic.  ... 
doi:10.5194/acpd-14-27797-2014 fatcat:yqooiglcnngzllq2gv6lrad2vy

Practical dynamic software updating for C

Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol
2006 Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06  
In this paper, we present a DSU implementation for C that aims to meet this challenge.  ...  DSU is appealing compared to other approaches for on-line upgrades because it is quite general and requires no redundant hardware.  ...  The compiler and patch generator are written in Objective Caml using the CIL framework [25] .The runtime system is a library written in C.  ... 
doi:10.1145/1133981.1133991 dblp:conf/pldi/NeamtiuHSO06 fatcat:6w77pg6fg5dx3e435qcjpq3uve

Practical dynamic software updating for C

Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol
2006 SIGPLAN notices  
In this paper, we present Ginseng, a DSU implementation for C that aims to meet this challenge.  ...  DSU is appealing compared to other approaches for on-line upgrades because it is quite general and requires no redundant hardware.  ...  The authors thank Emery Berger, Mike Furr, Boniface Patrick Hicks, Greg Morrisett, Peter Sewell, Nikhil Swamy, Robert Wisniewski, and the anonymous referees for helpful comments on drafts of this paper  ... 
doi:10.1145/1133255.1133991 fatcat:ndcibplcjfeedl6obsjiv3yiee

The MACC-II 2007–2008 reanalysis: atmospheric dust evaluation and characterization over northern Africa and the Middle East

E. Cuevas, C. Camino, A. Benedetti, S. Basart, E. Terradellas, J. M. Baldasano, J. J. Morcrette, B. Marticorena, P. Goloub, A. Mortier, A. Berjón, Y. Hernández (+2 others)
2015 Atmospheric Chemistry and Physics  
We find a good agreement in dust layers structures and averaged extinction vertical profiles between MACC-II, the lidars and CALIOP above the marine boundary layer from 1 to 6 km.  ...  </strong> In the present work, atmospheric mineral dust from a MACC-II short reanalysis run for 2 years (2007–2008) has been evaluated over northern Africa and the Middle East using satellite aerosol products  ...  NDiaye, IRD, M'Bour) for their efforts in the maintenance of the stations and for providing high-quality data.  ... 
doi:10.5194/acp-15-3991-2015 fatcat:z7whv6gemfelve5ranhyvtzbde

Comparing Selected Criteria of Programming Languages Java, PHP, C++, Perl, Haskell, AspectJ, Ruby, COBOL, Bash Scripts and Scheme Revision 1.0 - a Team CPLgroup COMP6411-S10 Term Report [article]

Sultan S. Al-Qahtani, Pawel Pietrzynski, Luis F. Guzman, Rafik Arif, Adrien Tevoedjre
2010 arXiv   pre-print
Perl, C++, AspectJ, COBOL, Ruby, PHP, Bash Scripts, and Scheme; with respect of the following criteria: Secure programming practices, web applications development, web services design and composition, object  ...  This approach is also non-intrusive and therefore pretty easy to integrate.  ...  Aquarium is suitable for non-trivial and large-scale aspect-oriented components in systems.  ... 
arXiv:1008.3434v1 fatcat:yc767tog7ze7xf2zboj4lfcaqy

Marine Biodiversity in the Caribbean: Regional Estimates and Distribution Patterns

Patricia Miloslavich, Juan Manuel Díaz, Eduardo Klein, Juan José Alvarado, Cristina Díaz, Judith Gobin, Elva Escobar-Briones, Juan José Cruz-Motta, Ernesto Weil, Jorge Cortés, Ana Carolina Bastidas, Ross Robertson (+6 others)
2010 PLoS ONE  
Sampling effort has been greatest in shallow, nearshore waters, where there is relatively good coverage of species records; offshore and deep environments have been less studied.  ...  A total of 12,046 marine species are reported in this paper for the Caribbean region.  ...  Ernesto Pen ˜a for preparation of data on fishes. Myrna Martı ´nez and Guillermo Sa ´nchez, PCML, for assistance with putting together the database for the deep sea.  ... 
doi:10.1371/journal.pone.0011916 pmid:20689856 pmcid:PMC2914069 fatcat:gli4gp27kvcupozuiavtwtcrra

Ultrasound screening in pregnancy: a systematic review of the clinical effectiveness, cost-effectiveness and women's views

Bricker, Garcia, Henderson, Mugford, Neilson, Roberts, Martin
2000 Health Technology Assessment  
Non-UK purchasers will have to pay a small fee for post and packing. For European countries the cost is £2 per monograph and for the rest of the world £3 per monograph.  ...  Objective The objective of the primary research was to provide a contextual, NHS-based comparison for data collected from the systematic literature review of economic studies reported in chapter 8.  ...  Costs for routine scans ranged from £18 to £204; costs for non-routine scans were reported less frequently and ranged from £32 to £113.  ... 
doi:10.3310/hta4160 fatcat:w34bzmngs5avpkhfshwmfuovvq

Study of the correlation between columnar aerosol burden, suspended matter at ground and chemical components in a background European environment

Víctor Estellés, José A. Martínez-Lozano, Jorge Pey, Michaël Sicard, Xavier Querol, Anna R. Esteve, María P. Utrillas, Mar Sorribas, Gotzon Gangoiti, Andrés Alastuey, Francesc Rocadenbosch
2012 Journal of Geophysical Research  
All the PM fractions were very well correlated with AOD with correlation coefficients that ranged from 0.71 to 0.81 for PM10, PM2.5 and PM1.  ...  The improvement in the correlation when the vertical distribution is taken into account was significant for days with a homogeneous mixing layer.  ...  We would like to thank RIMA network for the use of the CIMEL data and calibration.  ... 
doi:10.1029/2011jd016356 fatcat:ix2lbwov55g2tgecw32aipox64

Xxxii Scar Open Science Conference 'Antarctic Science And Policy Advice In A Changing World - Conference Abstracts [article]

Eoghan Griffin, Renuka Badhe
2016 Zenodo  
These new magnetic data together with survey data that were not previously in the public domain can significantly upgrade the ADMAP compilation for crustal studies of the Antarctic.  ...  The synthesis of these magnetic data into the next generation ADMAP compilation will enable a better understanding of the geological structure and tectonic history of the Antarctic region.  ...  This presentation reviews the mechanisms responsible for warm water intrusions onto Antarctic coastal regions.  ... 
doi:10.5281/zenodo.53122 fatcat:o56w4vr3n5bsvkyj6vnetfem3e
« Previous Showing results 1 — 15 out of 24 results