Filters








92,420 Hits in 3.5 sec

From model to implementation: a network algorithm programming language

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
<span title="2020-06-01">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikvx2lmj7rew7jpw4lygqgjpby" style="color: black;">Science China Information Sciences</a> </i> &nbsp;
and expansion of network devices and constraints; (3) a declarative paradigm for the fast design of forwarding policies; (4) a built-in library for complex algorithm implementation; (5) full compatibility  ...  From model to implementation: a network algorithm programming language. Sci China Inf Sci, 2020, 63 (7) : 172102, https://doi.  ...  devices and constraints; (3) a declarative paradigm for fast forwarding-policy design; (4) a built-in library for complex algorithm implementation; (5) easy embedding of C++ libraries and code fragments  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11432-019-2644-8">doi:10.1007/s11432-019-2644-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3pxvjexhpjcafa5ddcxruiaegq">fatcat:3pxvjexhpjcafa5ddcxruiaegq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428212338/https://www.sciengine.com/doi/pdf/780FD6CE564A4406B590DCB7E02F4DCF" 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/60/04/60043093fa1dbab63b5e1b59aa556665ffc7b5ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11432-019-2644-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Composition of XML Dialects: A ModelicaXML Case Study

Adrian Pop, Ilie Savga, Uwe Aßmann, Peter Fritzson
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
By extending the COMPOST concrete composition layer with a component model for Modelica, we provide composition and transformation of Modelica.  ...  models using a composition language.  ...  For an XML dialect, semantic constraints can be modeled, for instance, that all links in a document must be valid, i.e., point to a reasonable target.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.02.071">doi:10.1016/j.entcs.2004.02.071</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/giyxks3lbbceno6g2sojo2p3du">fatcat:giyxks3lbbceno6g2sojo2p3du</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171003154123/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ce4/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDA1MjcwMw%3D%3D.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/d5/3a/d53a3db19fa812935803ca3945bc3d79ca0fbbfc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.02.071"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Library composition and adaptation using c++ concepts

Jaakko Järvi, Matthew A. Marcus, Jacob N. Smith
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/njckhhsy45acjc6agj5now7wey" style="color: black;">Proceedings of the 6th international conference on Generative programming and component engineering - GPCE &#39;07</a> </i> &nbsp;
Second, we develop a transparent adaptation layer between an image processing library and a graph algorithm library, enabling the efficient application of graph algorithms to the image processing domain  ...  Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to APIs of another are essential for the success of large software projects.  ...  Acknowledgements We are grateful for Doug Gregor and Sean Parent for many helpful discussions on the topic of the paper, and Doug for his work on ConceptGCC and inside insights to it.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1289971.1289984">doi:10.1145/1289971.1289984</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/gpce/JarviMS07.html">dblp:conf/gpce/JarviMS07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/icwyeaxx2ng23e2hhwooo44fge">fatcat:icwyeaxx2ng23e2hhwooo44fge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808125908/http://www.emarcus.org/papers/gpce2007f-authors-version.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/76/9a/769afbe919b2f16dc770129d3717400ff72165e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1289971.1289984"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Research on Assembly Technology of Active Magnetic Bearing system Based on Graph Theory

Zhang Li, Ren Yafeng, Yu Meiyun, Liu Jun, Luo Yanyan, O.S. Es-Said, C.A. Huang
<span title="">2018</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4vlgvitw6fcmbay5hkyo2s2ime" style="color: black;">MATEC Web of Conferences</a> </i> &nbsp;
Modeling active magnetic bearing assembly system is achieved by hierarchical model of data structure,which leads to accelerate the assessment of system configuration program and save a lot of time for  ...  Active magnetic bearing system is a typical geometric constraint system which is combined with each part by certain assembly constraint relations.  ...  Basic component library and CATIA API interface are used to design a 3D model about AMBs. This 3D model is a preassembly model to be adjusted and modified.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/matecconf/201821301001">doi:10.1051/matecconf/201821301001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tmrzjmjowjcsrg2tbp667pevxe">fatcat:tmrzjmjowjcsrg2tbp667pevxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430194854/https://www.matec-conferences.org/articles/matecconf/pdf/2018/72/matecconf_acmme2018_01001.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/d8/77d8e050108c3dce39d5f5f49345bb47deac6af9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/matecconf/201821301001"> <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>

Programming with C++ concepts

Jaakko Järvi, Mat Marcus, Jacob N. Smith
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
Section 4 describes a complex library composition scenario, where a transparent adaptation layer enables the use of an open-ended set of image types as inputs to a library of graph algorithms.  ...  First, we adapt GUI widgets from several libraries, with differing APIs, for use with a generic layout engine.  ...  Acknowledgments We are grateful for Doug Gregor and Sean Parent for many helpful discussions on the topic of the paper, and Doug for his work on ConceptGCC and inside insights to it.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2009.01.001">doi:10.1016/j.scico.2009.01.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p3sdw4bjmnhndchxuso3ofhpf4">fatcat:p3sdw4bjmnhndchxuso3ofhpf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004233219/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/e88/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDE2NzY0MjMwOTAwMDAyMQ%3D%3D.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/bd/00/bd00a0dc3a6e0dd50b1523dc1d89e364bb7727dc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2009.01.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system

Sergii Dymchenko, Mariia Mykhailova
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uo6yx5jpgnf2zl7mkrumytd4ti" style="color: black;">Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC &#39;15</a> </i> &nbsp;
: constraint logic programming and linear (integer) programming.  ...  We claim that declarative programming with ECL i PS e is better suited for solving certain common kinds of programming problems offered in Google Code Jam than imperative programming.  ...  Recall or look up the formula for an area of a triangle. 3. Formulate the constraint programming model. 4. Code the constraint programming model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2695664.2696032">doi:10.1145/2695664.2696032</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sac/DymchenkoM15.html">dblp:conf/sac/DymchenkoM15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mw36d3ep6vdrhejkulima36xbe">fatcat:mw36d3ep6vdrhejkulima36xbe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812114731/http://sdymchenko.com/media/files/gcj-eclipse-sac15.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/f6/ac/f6ac4774a5619463773ee5a6d44a1512a89e7975.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2695664.2696032"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Page 81 of American Society of Civil Engineers. Collected Journals Vol. 118, Issue CP1 [page]

<span title="">1992</span> <i title="American Society of Civil Engineers"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_american-society-of-civil-engineers-collected-journals" style="color: black;">American Society of Civil Engineers. Collected Journals </a> </i> &nbsp;
One window displays a solid model and the other a wire frame model. The wire frame model allows the user to review layers that might be otherwise hidden. This capability 81  ...  HOOPS is an object-oriented graphics library for creating interactive graphics applications.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_american-society-of-civil-engineers-collected-journals_1992-01_118_cp1/page/81" 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_american-society-of-civil-engineers-collected-journals_1992-01_118_cp1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

RTNeural: Fast Neural Inferencing for Real-Time Systems [article]

Jatin Chowdhury
<span title="2021-06-06">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
RTNeural is a neural inferencing library written in C++.  ...  RTNeural is designed to be used in systems with hard real-time constraints, with additional emphasis on speed, flexibility, size, and convenience.  ...  CONCLUSION RTNeural is a neural network inferencing library written in C++, and is optimised for use in systems with hard real-time constraints.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03037v1">arXiv:2106.03037v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qs4oyd6csvaenlfxng4hpoiaqa">fatcat:qs4oyd6csvaenlfxng4hpoiaqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210615060543/https://arxiv.org/pdf/2106.03037v1.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/c8/b7/c8b74e562501563423d68230bd25b62242ad2b1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03037v1" 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>

A Component-Based Modeling and Validation Method for PLC Systems

Rui Wang, Yong Guan, Min Zhou, Jie Zhang, Xiaoyu Song
<span title="">2014</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3nogjxpeynaunbsxdgcyvr2a5y" style="color: black;">Advances in Mechanical Engineering</a> </i> &nbsp;
We designed a general system architecture and a component library for a type of device control system. The control software and hardware of the environment were all modeled as BIP components.  ...  This paper presents a component-based modeling and validation method for PLC systems using the behavior-interaction-priority (BIP) framework.  ...  Based on the proposed general architecture for a motion control system, we built a distinct layered structure for this system shown in Figure 5 . (i) The top level is the main program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2014/127618">doi:10.1155/2014/127618</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7uco3loabjgh7bu5bvgh4mwxfa">fatcat:7uco3loabjgh7bu5bvgh4mwxfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427132442/https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=1166&amp;context=ece_fac" 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/d2/05/d2052707ba9e8808397df598b2c1c14d984ab385.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2014/127618"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

DYNAMIC OPTIMIZATION OF ENERGY SUPPLY SYSTEMS WITH MODELICA MODELS

Christian Hoffmann, Horst Puta
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
The powerful modelling language Modelica has been used to develop a model library for input data generation and/or predicting and modelling the main parts of the energy supply system for the simulation  ...  The paper describes a design tool for decentralised energy supply by preferable use of renewable energy.  ...  The library itself consists of multi sub-libraries and following sub-libraries of crucial importance: • Weather • Predict • HESys • Buildings The components and the resulting models for the thermodynamic  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20061002-4-bg-4905.00009">doi:10.3182/20061002-4-bg-4905.00009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5fr47rfukfefzg7wwrejpdnvmu">fatcat:5fr47rfukfefzg7wwrejpdnvmu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809063118/https://www.modelica.org/events/modelica2006/Proceedings/sessions/Session6a1.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/16/fb/16fbcd97f9b2e033386ee4afdeb4430db5a17f4d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20061002-4-bg-4905.00009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) [chapter]

Malte Mues, Falk Howar
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
JDart is built on top of the Java PathFinder software model checker and uses the JConstraints library for the integration of constraint solvers.  ...  A constraint solver is then used for generating new concrete values from recorded constraints that drive execution along previously unexplored paths.  ...  We are grateful for the work on JDart and JConstraints by the respective original authors. Our success would not have been possible without their contributions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-45237-7_28">doi:10.1007/978-3-030-45237-7_28</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fxrtafshtjgzzk5bamls5mvckq">fatcat:fxrtafshtjgzzk5bamls5mvckq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200510070119/https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7_28.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/72/62/726263c0b49659e6c5cb8a3e1b6bae6f7a372b36.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-030-45237-7_28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Enhanced Spreadsheet Computing With Finite Domain Constraint Satisfaction

Ezana N.Beyenne And Hai-Feng Guo
<span title="2015-04-01">2015</span> <i title="Zenodo"> Zenodo </i> &nbsp;
A spreadsheet-specific constraint language is constructed for general users to specify constraints among data cells in a declarative and scalable way.  ...  This paper shows how the spreadsheet computing paradigm is extended to break through this limitation for solving constraint satisfaction problems.  ...  The idea of constraint programming is to model and solve problems by specifying constraints which must be satisfied in the problems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1209523">doi:10.5281/zenodo.1209523</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ov74ebhggbbuxi33zjabo3hpiq">fatcat:ov74ebhggbbuxi33zjabo3hpiq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722110742/https://zenodo.org/record/1209524/files/5215ijpla01.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/03/a2/03a2b1ecdf92ba8e864e81817d17dab798b17c8e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1209523"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Unifying static and dynamic approaches to evolution through the compliant systems architecture

K. Falkner, H. Detmold, D. Howard, D.S. Munro, R. Morrison, S. Norcross
<span title="">2004</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlnwsi4sefbkvlcgv2zcupjqum" style="color: black;">37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the</a> </i> &nbsp;
To this end we propose an alternative model based on the Compliant Systems Architecture (CSA), a structuring methodology for constructing software systems.  ...  Our model is explored through a worked example in which we evolve an application's concurrency model. Abstract Machine Cache Abstract Machine ... Mechanism -Upcalls Policy -Downcalls  ...  Sullivan [32] describes a model of aspect-oriented programming controlled by metaobject protocols (MOPs).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2004.1265637">doi:10.1109/hicss.2004.1265637</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hicss/FalknerDHMMN04.html">dblp:conf/hicss/FalknerDHMMN04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3e6da7o7i5f43fvyny7jbzheui">fatcat:3e6da7o7i5f43fvyny7jbzheui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040929204928/http://csdl.computer.org:80/comp/proceedings/hicss/2004/2056/09/205690268b.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/36/2b/362b5d3c9a8ec43fd8599fbd45f1b8888299e98a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2004.1265637"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system [article]

Sergii Dymchenko, Mariia Mykhailova
<span title="2014-12-14">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
like constraint logic programming and linear (integer) programming.  ...  We claim that declarative programming with ECLiPSe is better suited for solving certain common kinds of programming problems offered in Google Code Jam than imperative programming.  ...  Recall or look up the formula for an area of a triangle. 3. Formulate the constraint programming model. 4. Code the constraint programming model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1412.2304v2">arXiv:1412.2304v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fkdecnoawrclzpwjfiaglugyme">fatcat:fkdecnoawrclzpwjfiaglugyme</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200909202718/https://arxiv.org/pdf/1412.2304v2.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/d5/d0/d5d0d6e7b5e73da8c3d4e54492458bf768bf4ae5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1412.2304v2" 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>

Test-Case Generation for Finding Neural Network Bugs [article]

Mohammad Rezaalipour, Carlo A. Furia
<span title="2021-12-28">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
But neural-network models are defined by writing programs (usually written in a programming language like Python), and there is growing evidence that these neural-network programs often have bugs.  ...  A fundamental challenge is that the dynamically-typed languages used to program neural networks cannot express detailed constraints about valid function inputs.  ...  Constraints for sequences specify that arguments are Python lists, tuples, or an array in the NumPy 5 library (which is widely used in NN programs, as well as other data-intensive applications).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.05567v2">arXiv:2112.05567v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zu7mbw3znfd6nbgm2qwws72qlu">fatcat:zu7mbw3znfd6nbgm2qwws72qlu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211214205134/https://arxiv.org/pdf/2112.05567v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0f/2e/0f2ec436de5a3a6a9a817378f918f029972733fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.05567v2" 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>
&laquo; Previous Showing results 1 &mdash; 15 out of 92,420 results