A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit <a rel="external noopener" href="http://www.doc.ic.ac.uk/~phjk/Publications/DeepWeaver-CC07.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
A Declarative Framework for Analysis and Optimization
[chapter]
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/co3tf2zzendhlbd6zt7kuvv3ha" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called "weaves". ...
This paper motivates the design, and demonstrates some of its power, using a sequence of examples including performance profiling and domain-specific performance optimisations for database access and remote ...
Acknowledgments This work was supported by the EPSRC SPOCS grant (EP/E002412), EPSRC PhD studentships, and by an IBM Faculty Award. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71229-9_15">doi:10.1007/978-3-540-71229-9_15</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cc/FalconerKIMFB07.html">dblp:conf/cc/FalconerKIMFB07</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kketyrvbp5fy5gryoaxkj7rpcy">fatcat:kketyrvbp5fy5gryoaxkj7rpcy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120903230537/http://www.doc.ic.ac.uk/~phjk/Publications/DeepWeaver-CC07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/48/06/4806d42558c88018ce2fa36f4bc82345c9e096d4.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71229-9_15">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Using Datalog for Fast and Easy Program Analysis
[chapter]
<span title="">2011</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://yanniss.github.io/doop-datalog2.0.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Our recent work introduced the D framework for points-to analysis of Java programs. ...
For the exact same logical points-to definitions (and, consequently, identical precision) D is more than 15x faster than P for a 1-call-site sensitive analysis, with lower but still substantial ...
Acknowledgments This work was funded by the NSF (CCF-0917774, CCF-0934631) and by LogicBlox Inc. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24206-9_14">doi:10.1007/978-3-642-24206-9_14</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpr7tsglcraxjcgz52t256lfbi">fatcat:jpr7tsglcraxjcgz52t256lfbi</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808225358/https://yanniss.github.io/doop-datalog2.0.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/76/7776ae67954d0bc4c3547422003fd213ab4273d0.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24206-9_14">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Toward smart manufacturing using decision analytics
<span title="">2014</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/faqqmambavbalpofpx3p6nntua" style="color: black;">2014 IEEE International Conference on Big Data (Big Data)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://cci.drexel.edu/bigdata/bigdata2014/IEEE_specialsession1_presentations/big_data_sm_dgal_Brodsky.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
machines and process composition • domain-specific process models for a simple demonstration example of a manufacturing process • domain-specific module for analytical view points for monitoring, analysis ...
and planning (process optimization) for the demonstration example • Demonstrate reusability and ease of use of declarative DGA queries against library modules to perform: • monitoring (aggregated power ...
process • domain-specific module for analytical view points for monitoring, analysis and planning (process optimization) for the demonstration example • Demonstrate reusability and ease of use of declarative ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/bigdata.2014.7004330">doi:10.1109/bigdata.2014.7004330</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/bigdataconf/BrodskyKMSR14.html">dblp:conf/bigdataconf/BrodskyKMSR14</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ba5dmplhdfdw3ktfwkbg3wcn3a">fatcat:ba5dmplhdfdw3ktfwkbg3wcn3a</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810065647/http://cci.drexel.edu/bigdata/bigdata2014/IEEE_specialsession1_presentations/big_data_sm_dgal_Brodsky.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ee/f0/eef05acb3d3bc9efb241fd5fa5de460f52b1b8eb.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/bigdata.2014.7004330">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
Page 110 of The Journal of Applied Ecology Vol. 46, Issue 1
[page]
<span title="">2009</span>
<i title="Blackwell Publishing Ltd.">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_journal-of-applied-ecology" style="color: black;">The Journal of Applied Ecology</a>
</i>
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
We find the number of absent surveys after which eradication should be declared, using three approaches; a stochastic dynamic program, which finds the exact optimal solution, a rule of thumb, and an approximation ...
Analysing this problem within a decision theory framework enables us to minimize the expected cost of declaring eradication. ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-applied-ecology_2009-02_46_1/page/110" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_journal-of-applied-ecology_2009-02_46_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
Modular Collaborative Program Analysis in OPAL
[article]
<span title="2020-10-09">2020</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/2010.04476v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, imperative approaches foster manual, analysis-specific optimizations. ...
points-to analysis framework. ...
However, it does not rely on a general-purpose declarative framework and constraint solver. It offers a specialized approach mixing imperative and declarative styles. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.04476v1">arXiv:2010.04476v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gabzhoftyzco7bka6srqynuqhu">fatcat:gabzhoftyzco7bka6srqynuqhu</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201024083717/https://arxiv.org/pdf/2010.04476v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/82/c582e1b07f2cf694ee1b318b74051054338504cf.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.04476v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Self-adaptive static analysis
[article]
<span title="2017-10-20">2017</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1710.07430v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
To boost scalability to a new level, we propose to fuse static-analysis with just-in-time-optimization technology, introducing for the first time static analyses that are managed and inherently self-adaptive ...
This representation allows for an automatic optimization and adaptation of the analysis code, both ahead-of-time (through static analysis of the static analysis) as well as just-in-time during the analysis ...
Some domain-speci c optimizations that a just-in-time optimizer should consider for static analysis can be obtained by choosing the optimal analysis framework. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1710.07430v1">arXiv:1710.07430v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cz3bg7anjzg6xbvozmzehjumse">fatcat:cz3bg7anjzg6xbvozmzehjumse</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200909102225/https://arxiv.org/pdf/1710.07430v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/52/c452d481d20357297205e979137e4ef5a40468c9.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1710.07430v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Data Analysis using ALICE Run 3 Framework
<span title="">2020</span>
<i title="EDP Sciences">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oduy4e4fvfhovftixyndrlkomi" style="color: black;">EPJ Web of Conferences</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://www.epj-conferences.org/articles/epjconf/pdf/2020/21/epjconf_chep2020_06032.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
ROOT declarative analysis framework RDataFrame. ...
We present our progress to adapt such a framework for the end user physics data analysis. In particular, the design and technology choices are highlighted. ...
However, for the analyses which are on the critical path a more declarative API will be recommended, as it allows for the optimization and reuse of common filters and computations. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/202024506032">doi:10.1051/epjconf/202024506032</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ori3beqrw5f63ntjgxydlsiv5i">fatcat:ori3beqrw5f63ntjgxydlsiv5i</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201117053525/https://www.epj-conferences.org/articles/epjconf/pdf/2020/21/epjconf_chep2020_06032.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/dd/e7ddc47f79433625fc55f92b382767ec6805352e.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/202024506032">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
Publisher / doi.org
</button>
</a>
GCIP
<span title="">2009</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/25kc37fuhndb5axzv75226fwem" style="color: black;">Proceedings of the 12th International Conference on Extending Database Technology Advances in Database Technology - EDBT '09</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.informatik.htw-dresden.de/~wloka/pubs/edbt2009.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The model-driven approach opens opportunities for rule-based and workload-based optimization techniques. ...
To overcome those problems, we follow a model-driven generation approach for integration processes. ...
Therefore, the Optimizer first executes a preprocessing chain including control flow analysis, data flow analysis and the successive dependency analysis. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1516360.1516494">doi:10.1145/1516360.1516494</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/edbt/BohmWHL09.html">dblp:conf/edbt/BohmWHL09</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/guvlnwaatbdhpch3ddb4jtymlq">fatcat:guvlnwaatbdhpch3ddb4jtymlq</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706080215/http://www.informatik.htw-dresden.de/~wloka/pubs/edbt2009.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/24/80246ec890913df49aab7d65a8079b6292d0510a.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1516360.1516494">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Porting doop to Soufflé
<span title="">2017</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://static.aminer.org/pdf/20170130/pdfs/pldi/mv1kixhagj2geaycwfczxnsdnv83d4fo.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
execution, and optimization methodologies). ...
We detail our experience of porting the DOOP static analysis framework to the recently introduced Soufflé Datalog engine. ...
The DOOP framework [4] is a prominent instance of the Datalog approach to static analysis. DOOP is an analysis framework for Java bytecode, built around points-to analysis algorithms. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3088515.3088522">doi:10.1145/3088515.3088522</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/AntoniadisTS17.html">dblp:conf/pldi/AntoniadisTS17</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w4k2iwaetjcqjkcufb35t4vxya">fatcat:w4k2iwaetjcqjkcufb35t4vxya</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218144829/https://static.aminer.org/pdf/20170130/pdfs/pldi/mv1kixhagj2geaycwfczxnsdnv83d4fo.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/85/5985cff52ca4030a37d361f1dac6fff1cde081cc.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3088515.3088522">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Immutability specification and its applications
<span title="">2005</span>
<i title="Wiley">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o454xj4tdjfllm3oragfkdrffi" style="color: black;">Concurrency and Computation</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit <a rel="external noopener" href="http://cs.nyu.edu:80/~pechtcha/pubs/jgi02.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
We introduce a framework for immutability specification, and discuss its application to code optimization. ...
We present a framework for processing and verifying immutability annotations in Java, as well as extending optimizations so as to exploit immutability information. ...
We would also like to thank members of the Jalapeño team for their contributions to the Jalapeño Virtual Machine, and Philippe Charles and David Shields for their assistance with extending the Jikes source-to-bytecode ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.853">doi:10.1002/cpe.853</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnez6yolobhtpkm4mulnpab5wm">fatcat:lnez6yolobhtpkm4mulnpab5wm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060620001145/http://cs.nyu.edu:80/~pechtcha/pubs/jgi02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/9f/5e9f8afbdbd5da0649ae6526ca08ca0bfb071a8c.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.853">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
wiley.com
</button>
</a>
Immutability specification and its applications
<span title="">2002</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kj6f5djg2zdxdlh6kpq6mu23gi" style="color: black;">Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande - JGI '02</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit <a rel="external noopener" href="http://cs.nyu.edu:80/~pechtcha/pubs/jgi02.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
We introduce a framework for immutability specification, and discuss its application to code optimization. ...
We present a framework for processing and verifying immutability annotations in Java, as well as extending optimizations so as to exploit immutability information. ...
We would also like to thank members of the Jalapeño team for their contributions to the Jalapeño Virtual Machine, and Philippe Charles and David Shields for their assistance with extending the Jikes source-to-bytecode ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/583810.583833">doi:10.1145/583810.583833</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/java/PechtchanskiS02.html">dblp:conf/java/PechtchanskiS02</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aglnlcr33rfttcbzwk4j67wpza">fatcat:aglnlcr33rfttcbzwk4j67wpza</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060620001145/http://cs.nyu.edu:80/~pechtcha/pubs/jgi02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/9f/5e9f8afbdbd5da0649ae6526ca08ca0bfb071a8c.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/583810.583833">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
DiaSuite
<span title="">2011</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit <a rel="external noopener" href="https://hal.inria.fr/inria-00581652/file/pepm36kn-1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Our approach is instantiated with the Sense-Compute-Control paradigm, and uniformly integrated into a suite of declarative languages and tools. ...
This approach offers a language-based design framework, high-level programming support, a range of verifications, and an abstraction layer over lowlevel technologies. ...
Special thanks to Emilie Balland for insightful discussions and helpful comments. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929501.1929515">doi:10.1145/1929501.1929515</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/Consel11.html">dblp:conf/pepm/Consel11</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ujx2rami55hh7nnjcq6qt5a3je">fatcat:ujx2rami55hh7nnjcq6qt5a3je</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161107075211/https://hal.inria.fr/inria-00581652/file/pepm36kn-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/d0/c3d06e72e3362120544843748c00a826525dedb4.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929501.1929515">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Declarative Machine Learning - A Classification of Basic Properties and Types
[article]
<span title="2016-05-19">2016</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1605.05826v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
This paper makes an attempt to create a taxonomy for declarative ML, including a definition of essential basic properties and types of declarative ML. ...
Finally, we draw conclusions on defining appropriate benchmarks and specification languages for declarative ML. ...
Contributions and Structure: The primary contribution of this paper is a systematic analysis and classification of declarative machine learning. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.05826v1">arXiv:1605.05826v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dzkrt6dl4fe57jwfhfa25sy37m">fatcat:dzkrt6dl4fe57jwfhfa25sy37m</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200826031545/https://arxiv.org/pdf/1605.05826v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/cd/b2/cdb213c2191732607134341e2b211977170ef048.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.05826v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Optimization Framework for a Multiple Classifier System with Non-Registered Targets
<span title="">2008</span>
<i title="SAGE Publications">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tdshbg4wabhvhawvcarhnepdde" style="color: black;">The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit <a rel="external noopener" href="http://www.scs.org:80/pubs/jdms/vol5num1/Albrecht.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
This research extends a mathematical programming framework that selects the optimal classifier ensemble and fusion method across multiple decision thresholds subject to classifier performance constraints ...
The framework is exercised in an experimental design across classifier fusion methods, prior probabilities of targets and non-targets, correlation between multiple sensor looks, and levels of target pose ...
Charles Sadowski from USAF Air Combat Command (ACC) for his insight of ATR. This research was jointly sponsored by ACC and the Air Force Office of Scientific Research under grant NMIPR045203616. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/154851290800500104">doi:10.1177/154851290800500104</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62rilp5adzarzepqyfuif3cceq">fatcat:62rilp5adzarzepqyfuif3cceq</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090816083656/http://www.scs.org:80/pubs/jdms/vol5num1/Albrecht.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/ea/06ea4b890ec834555b4f9562a534a1f94882d602.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/154851290800500104">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
sagepub.com
</button>
</a>
The ALICE Analysis Framework for LHC Run 3
<span title="">2019</span>
<i title="EDP Sciences">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oduy4e4fvfhovftixyndrlkomi" style="color: black;">EPJ Web of Conferences</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://www.epj-conferences.org/articles/epjconf/pdf/2019/19/epjconf_chep2018_05045.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Wepresent the prototypeofanew Analysis Object Data format basedontimeframes and optimized for continuous readout. Such formatisdesigned tobeextensible and transported efficiently over the network. ...
Finally,wewill giveastatus reportonthe integrationofthe Analysis Framework and Analysis Facilities for Run3into the current organized analysis model in ALICE. ...
The current framework is considered successful from the performance and usability perspectives because it factors out critical parts and hides their complexity and optimization to the user: the Run 3 analysis ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/201921405045">doi:10.1051/epjconf/201921405045</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gaxaya3xafhabnevxgko7fxiz4">fatcat:gaxaya3xafhabnevxgko7fxiz4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200207205835/https://www.epj-conferences.org/articles/epjconf/pdf/2019/19/epjconf_chep2018_05045.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/0e/c7/0ec70483f01a99846746b1c340d0a3782413781a.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/201921405045">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
Publisher / doi.org
</button>
</a>
« Previous
Showing results 1 — 15 out of 414,721 results