1 |
Lessons Learned from a Prototype Implementation of Montagovian Lexical Semantics
|
|
|
|
In: The Thirteenth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 13) ; https://hal.archives-ouvertes.fr/hal-01472615 ; The Thirteenth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 13), isAI/jsAI, Nov 2016, Kanagawa, Japan. pp.71-83 ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls13/LENLS13webproceedings.pdf (2016)
|
|
BASE
|
|
Show details
|
|
2 |
ЭВМ и тувинский язык: обзор исследовательских работ тувинского государственного университета
|
|
|
|
BASE
|
|
Show details
|
|
3 |
On the lookout for accessible translation aids: current scenario and new horizons for blind translation students and professionals
|
|
|
|
In: Rodríguez Vázquez, Silvia orcid:0000-0002-9945-5544 (2016) On the lookout for accessible translation aids: current scenario and new horizons for blind translation students and professionals. Journal of Translator Education and Translation Studies, 1 (2). pp. 115-135. (2016)
|
|
BASE
|
|
Show details
|
|
4 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
5 |
Safe Model Polymorphism for Flexible Modeling
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01367305 ; Computer Languages, Systems and Structures, Elsevier, 2016, Computer Languages, Systems Structures, 49, pp.30. ⟨10.1016/j.cl.2016.09.001⟩ ; http://www.sciencedirect.com/science/journal/14778424 (2016)
|
|
BASE
|
|
Show details
|
|
6 |
Using free modeling as an Agile method for developing domain specific modeling languages
|
|
|
|
In: Proceedings MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems ; MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems ; https://hal.archives-ouvertes.fr/hal-01393781 ; MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩ (2016)
|
|
BASE
|
|
Show details
|
|
7 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
8 |
Qanary – the Fast Track to Creating a Question Answering System with Linked Data Technology
|
|
|
|
In: ESWC 2016 ; https://hal.archives-ouvertes.fr/hal-01637054 ; ESWC 2016, May 2016, Heraklion, Greece (2016)
|
|
BASE
|
|
Show details
|
|
9 |
Number game -Experience of a European research infrastructure (CLARIN) for the analysis of web traffic
|
|
|
|
In: CLARIN Annual Conference 2016 ; https://hal.archives-ouvertes.fr/hal-01539048 ; CLARIN Annual Conference 2016, CLARIN ERIC; Laboratoire Parole et Langage; Laboratoire des Sciences de l’Information et des Systèmes (LSIS); Aix-Marseille Université; Centre National de la Recherche Scientifique (CNRS), Oct 2016, Aix-en-Provence, France ; https://www.clarin.eu/event/2016/clarin-annual-conference-2016-aix-en-provence-france (2016)
|
|
BASE
|
|
Show details
|
|
10 |
Leveraging software product lines engineering in the construction of domain specific languages ; Usage de l'ingénierie de lignes de produits pour la construction de langages dédiés
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01427187 ; Software Engineering [cs.SE]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S136⟩ (2016)
|
|
BASE
|
|
Show details
|
|
11 |
MetaDIG : Engaging Scientists in the Improvement of Metadata and Data ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
MetaDIG : Engaging Scientists in the Improvement of Metadata and Data ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
The REAL Corpus: a crowd-sourced corpus of human generated and evaluated spatial references to real-world urban scenes
|
|
|
|
BASE
|
|
Show details
|
|
17 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
On Ordering Problems in Message Passing Software
|
|
|
|
In: Computer Science Conference Presentations, Posters and Proceedings (2016)
|
|
Abstract:
The need for concurrency in modern software is increasingly fulfilled by utilizing the message passing paradigm because of its modularity and scalability. In the message passing paradigm, concurrently running processes communicate by sending and receiving messages. Asynchronous messaging introduces the possibility of message ordering problems: two messages with a specific order in the program text could take effect in the opposite order in the program execution and lead to bugs that are hard to find and debug. We believe that the engineering of message passing software could be easier if more is known about the characteristics of message ordering problems in practice. In this work, we present an analysis to study and quantify the relation between ordering problems and semantics variations of their underlying message passing paradigm in over 30 applications. Some of our findings are as follows: (1) semantic variations of the message passing paradigm can cause ordering problems exhibited by applications in different programming patterns to vary greatly; (2) some semantic features such as in-order messaging are critical for reducing ordering problems; (3) modular enforcement of aliasing in terms of data isolation allows small test configurations to trigger the majority of ordering problems.
|
|
Keyword:
Computer Sciences; Software Engineering
|
|
URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1006&context=cs_conf https://lib.dr.iastate.edu/cs_conf/15
|
|
BASE
|
|
Hide details
|
|
|
|