42 |
Métodos digitais e a memória acessada por APIs: desenvolvimento de ferramenta para extração de dados de portais jornalísticos a partir da WayBack Machine
|
|
|
|
In: Revista Observatório ; 1 ; 2 ; 23-41 (2016)
|
|
BASE
|
|
Show details
|
|
43 |
On confluence and semantic full abstraction of lambda calculus languages ; Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen
|
|
|
|
BASE
|
|
Show details
|
|
44 |
An Iconic Framework for Learning the Art of Programming
|
|
Averna, G.; Lenzitti, B.; Tegolo, D.. - : Daniela Chudà, Leon Rothkranz, Angel Smrikarov, Tzvetomir Vassilev, Stoyanka Smrikarova, Yuksel Aliev, 2016. : country:SK, 2016. : place:Bratislava, 2016
|
|
BASE
|
|
Show details
|
|
48 |
Efficient Hosted Interpreter for Dynamic Languages
|
|
Zhang, Wei. - : eScholarship, University of California, 2015
|
|
In: Zhang, Wei. (2015). Efficient Hosted Interpreter for Dynamic Languages. UC Irvine: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/6gb693jb (2015)
|
|
BASE
|
|
Show details
|
|
49 |
Fast as a shadow, expressive as a tree: Hybrid memory monitoring for C.
|
|
|
|
In: SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing ; https://hal-cea.archives-ouvertes.fr/cea-01836267 ; SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1765-1772, ⟨10.1145/2695664.2695815⟩ (2015)
|
|
Abstract:
Conference of 30th Annual ACM Symposium on Applied Computing, SAC 2015 ; Conference Date: 13 April 2015 Through 17 April 2015; Conference Code:117701 ; International audience ; One classical approach to ensuring memory safety of C programs is based on storing block metadata in a tree-like datastructure. However it becomes relatively slow when the number of memory locations in the tree becomes high. Another solution, based on shadow memory, allows very fast constant-time access to metadata and led to development of several highly optimized tools for detection of memory safety errors. However, this solution appears to be insufficient for evaluation of complex memory-related properties of an expressive specification language. In this work, we address memory monitoring in the context of runtime assertion checking of C programs annotated in E-ACSL, an expressive specification language offered by the FRAMA-C framework for analysis of C code. We present an original combination of a tree-based and a shadow-memory-based techniques that reconciles both the efficiency of shadow memory with the higher expressiveness of annotations whose runtime evaluation can be ensured by a tree of metadata. Shadow memory with its instant access to stored metadata is used whenever small shadow metadata suffices to evaluate required annotations, while richer metadata stored in a compact prefix tree (Patricia trie) is used for evaluation of more complex memory annotations supported by E-ACSL. This combined monitoring technique has been implemented in the runtime assertion checking tool for E-ACSL. Our initial experiments confirm that the proposed hybrid approach leads to a significant speedup with respect to an earlier implementation based on a Patricia trie alone without any loss of precision.
|
|
Keyword:
[INFO]Computer Science [cs]; C (programming language); Classical approach; Computational linguistics; Constant time; Hybrid approach; Memory annotations; Memory locations; Memory safety; Metadata; Monitoring techniques; Runtime assertion checking; Specification languages; Specifications
|
|
URL: https://hal-cea.archives-ouvertes.fr/cea-01836267 https://doi.org/10.1145/2695664.2695815
|
|
BASE
|
|
Hide details
|
|
50 |
Fast portable orthogonally persistent Java
|
|
|
|
In: Software: Practice and Experience (2015)
|
|
BASE
|
|
Show details
|
|
51 |
Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance
|
|
|
|
In: Proceedings of the ACM SIGNPLAN 2008 Conference on Programming Language Design and Implementation (2015)
|
|
BASE
|
|
Show details
|
|
52 |
Fast portable orthogonally persistent Java
|
|
|
|
In: Software: Practice and Experience (2015)
|
|
BASE
|
|
Show details
|
|
53 |
Die Eignung von Python für Einführungskurse in das Programmieren im Vergleich zu anderen Programmiersprachen ...
|
|
|
|
BASE
|
|
Show details
|
|
56 |
Planning Human-Computer Improvisation
|
|
|
|
In: International Computer Music Conference ; https://hal.archives-ouvertes.fr/hal-01053834 ; International Computer Music Conference, Sep 2014, Athens, Greece ; http://icmc14-smc14.net (2014)
|
|
BASE
|
|
Show details
|
|
57 |
τC: C with process network extensions for embedded manycores
|
|
|
|
In: ISSN: 1877-0509 ; EISSN: 1877-0509 ; Procedia Computer Science ; https://hal-cea.archives-ouvertes.fr/cea-01831559 ; Procedia Computer Science, Elsevier, 2014, 29, pp.1100-1112. ⟨10.1016/j.procs.2014.05.099⟩ (2014)
|
|
BASE
|
|
Show details
|
|
58 |
Instrumentation of annotated c programs for test generation
|
|
|
|
In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014)
|
|
BASE
|
|
Show details
|
|
59 |
Arabic Natural Language Processing System Code Library
|
|
|
|
In: DTIC (2014)
|
|
BASE
|
|
Show details
|
|
|
|