Filters








225 Hits in 5.1 sec

Reify your collection queries for modularity and speed!

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
2013 Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13  
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections.  ...  Unfortunately, it is not obvious how to encode such optimizations in terms of ordinary collection APIs, because the program operating on the collections is not reified and hence cannot be analyzed.  ...  and Karl Klose for their helpful comments on this paper.  ... 
doi:10.1145/2451436.2451438 dblp:conf/aosd/GiarrussoOEMRK13 fatcat:jqisbsyqevgsvl75we22cejyc4

NeurOS™ and NeuroBlocks™ a neural/cognitive operating system and building blocks

Lee Scheffler
2015 Biologically Inspired Cognitive Architectures  
NeurOS is an open platform for accelerating research, development and hosting execution of intelligent applications.  ...  A NeurOS application is a directed "neural graph" of modular components connected by signal paths, similar to biological brain connectivity and functional block diagrams of neural pathways.  ...  Temporal patterns further impose relative timing constraints and tolerances on sequences, and allow for matching at a range of speeds/tempos.  ... 
doi:10.1016/j.bica.2014.11.011 fatcat:rw4cypbu3za3jowj27dplrnmbu

Imagining the Essay as Digital Assemblage: Collaborative Student Experiments with Writing in Scalar

Dwayne Dixon
2016 Prompt A Journal of Academic Writing Assignments  
This essay describes a digital, collaboratively designed and interconnected series of essays that were the final project for a first-year class in media and anthropology.  ...  The assignment is informed by, and attempts to experimentally enact, Fèlix Guattari's concept of the assemblage, emphasizing movement and process of argument and evidence over static, reified trajectories  ...  to visit different groups during their sessions outside of class and respond individually to students' queries.  ... 
doi:10.31719/pjaw.v1i1.13 fatcat:l4yb6ltpnzdwndeji6bxhcbau4

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs

Coen De Roover
2011 2011 27th IEEE International Conference on Software Maintenance (ICSM)  
I am equally indebted to Christophe Scholliers, Yves Vandriessche and Frederik Vanden Berghe for sharing and eventually taking over my teaching duties while I was writing.  ...  For instance, violations of the protocol an API expects to be adhered to. Logic formulas can be used as expressive and descriptive pattern specifications.  ...  Wolfgang De Meuter (Vrije Universiteit Brussel) and co-promotor Dr. Johan Brichau (Université catholique de Louvain). Johan has been my partner in crime from the moment I was ready to dive into his  ... 
doi:10.1109/icsm.2011.6080830 dblp:conf/icsm/Roover11 fatcat:mtzy44ethrchdmtnkoqjcwiray

Template your boilerplate

Michael D. Adams, Thomas M. DuBuisson
2012 Proceedings of the 2012 symposium on Haskell symposium - Haskell '12  
It presents a generic-programming system for Haskell that provides both the concision of other genericprogramming systems and the efficiency of handwritten code.  ...  This paper presents the results of benchmarking our system against both handwritten code and several other genericprogramming systems.  ...  Garrett Morris, Simon Peyton Jones and the anonymous reviewers helped improve the presentation of this paper.  ... 
doi:10.1145/2364506.2364509 dblp:conf/haskell/AdamsD12 fatcat:wnf3ciafevffrfhdsxzcmhtp3a

Template your boilerplate

Michael D. Adams, Thomas M. DuBuisson
2013 SIGPLAN notices  
It presents a generic-programming system for Haskell that provides both the concision of other genericprogramming systems and the efficiency of handwritten code.  ...  This paper presents the results of benchmarking our system against both handwritten code and several other genericprogramming systems.  ...  Garrett Morris, Simon Peyton Jones and the anonymous reviewers helped improve the presentation of this paper.  ... 
doi:10.1145/2430532.2364509 fatcat:hbkfk4m2ffdxngp7zdfpksfpey

Two Decades of Maude [chapter]

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn Talcott
2015 Lecture Notes in Computer Science  
This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two  ...  This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed.  ...  a user to easily create specific models, and browse and query them [81] .  ... 
doi:10.1007/978-3-319-23165-5_11 fatcat:cre7i55r4reg3indrng3w5fgqa

DIEL: Interactive Visualization Beyond the Here and Now [article]

Yifan Wu, Remco Chang, Joseph Hellerstein, Arvind Satyanarayan, Eugene Wu
2021 arXiv   pre-print
To specify the state of a user interface at any time, developers author declarative queries over the data and event logs; DIEL compiles and optimizes a corresponding dataflow graph, and synthesizes necessary  ...  However, for more complex use cases---e.g., remote database access and streaming data sources---developers must grapple with distributed data and asynchronous events.  ...  ACKNOWLEDGMENTS We thank Ryan Purpura and Lucie Choi for their contributions as undergraduate researchers at UC Berkeley; Michael Whittaker for his feedback on methods to perform the distributed execution  ... 
arXiv:1907.00062v2 fatcat:eifz2srnxrbd7awqjzin7qvcee

Modular design patterns for hybrid learning and reasoning systems

Michael van Bekkum, Maaike de Boer, Frank van Harmelen, André Meyer-Vitali, Annette ten Teije
2021 Applied intelligence (Boston)  
In this paper, we analyze a large body of recent literature and we propose a set of modular design patterns for such hybrid, neuro-symbolic systems.  ...  organized in a set of elementary patterns and a set of compositional patterns; 3) an application of these design patterns in two realistic use-cases for hybrid AI systems.  ...  Finally, and perhaps most importantly, our design patterns are modular, and are intended as a tool for engineering hybrid AI systems out of reusable components.  ... 
doi:10.1007/s10489-021-02394-3 fatcat:ecyruntfdncsbbtdglhllwc6vi

OntoCommons D3.9 - Report on the first focused workshop on domain ontologies

Silvia Chiacchiera
2021 Zenodo  
The focused workshop was entitled "Domain Ontologies for Research Data Management in Industry Commons of Materials and Manufacturing" (DORIC-MM 2021) and was constituted of two main parts: a preparatory  ...  The June event was more academic: in line with ESWC, oral contributions for this event were invited or selected from submitted papers (via the OpenReview platform).  ...  For ontologies to be successful, global adoption and interoperability are needed: modularization and collaboration with other efforts are key.  ... 
doi:10.5281/zenodo.6504602 fatcat:77rqjcq53ra5tghvlq2xmybmv4

D3.4.5 Part 2 - Proceedings Of Workshop 5 - Jem- Joining Educational Mathematics

Hans Cuypers
2009 Zenodo  
The workshop is intended for a general audience interested in knowing what are the technologies and the methodologies that enhance teaching and learning of mathematics on the web.  ...  This workshop aims to present to the wider audience the work and results of the partners of the Joining Educational Mathematics thematic network that has come to its conclusion after 3 years of activity  ...  Acknowledgments : The author would like to thank Jana Giceva for implementing large parts of the JOBAD framework and collecting first feedback from users.  ... 
doi:10.5281/zenodo.46712 fatcat:fgsauzbfevaxlponexfrpil6pi

Comparative Studies of 10 Programming Languages within 10 Diverse Criteria -- a Team 7 COMP6411-S10 Term Report [article]

Sleiman Rabah, Jiang Li, Mingzhi Liu, Yuanwei Lai
2010 arXiv   pre-print
At the end, we will give our conclusion that which languages are suitable and which are not for using in some cases.  ...  We summarize and compare these ten languages on ten different criterion. For example, Default more secure programming practices, Web applications development, OO-based abstraction and etc.  ...  Our POD, Yi Ji, for the introductions into AspectJ and Java reflection.  ... 
arXiv:1009.0305v1 fatcat:lcelqyy3ybb6jakrekezv22ajm

A Pattern Language for Extensible Program Representation [chapter]

Daniel Vainsencher, Andrew P. Black
2009 Lecture Notes in Computer Science  
The patterns address efficiency, correctness and the integration of multiple analyses and tools in a modular fashion.  ...  For the last 15 years, implementors of multiple view programming environments have sought a single code model that would form a suitable basis for all of the program analyses and tools that might be applied  ...  We also thank Emerson Murphy-Hill and Philip Quitslund for motivational discussions, John Brant for help in building the abstract interpreter, and Colin Putney for his willingness to adapt the OmniBrowser  ... 
doi:10.1007/978-3-642-10832-7_1 fatcat:zkxm64ifrnawrn4u4d75n7hkby

A pattern language for extensible program representation

Daniel Vainsencher, Andrew P. Black
2006 Proceedings of the 2006 conference on Pattern languages of programs - PLoP '06  
The patterns address efficiency, correctness and the integration of multiple analyses and tools in a modular fashion.  ...  For the last 15 years, implementors of multiple view programming environments have sought a single code model that would form a suitable basis for all of the program analyses and tools that might be applied  ...  We also thank Emerson Murphy-Hill and Philip Quitslund for motivational discussions, John Brant for help in building the abstract interpreter, and Colin Putney for his willingness to adapt the OmniBrowser  ... 
doi:10.1145/1415472.1415490 fatcat:mvaqdnc7ozagphijf5dzb4yob4

Representing Activities associated with Processing of Personal Data and Consent using Semantic Web for GDPR Compliance

Harshvardhan J. Pandit, Dave Lewis, Declan O'Sullivan
2020 Zenodo  
Utilising semantic web technologies provides a machine-readable and interoperable representation of information that can be queried and verified based on open standards such as RDF, OWL, SPARQL, and SHACL  ...  This documentation involves information on how the activities were planned, evaluated for compliance, and executed.  ...  ACKNOWLEDGEMENTS The first and foremost acknowledgement I would like to make is in thanking my supervisors -Dave Lewis and Declan O'Sullivan.  ... 
doi:10.5281/zenodo.3795513 fatcat:qmyotfakhjcdxoksp6pff2uzfm
« Previous Showing results 1 — 15 out of 225 results