Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Filter
  • 1-10 of  76 results for ""Semantics""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

On the semantics of loop transformation languages

Subjects: semantics; meta-programming; code generation and optimizationNice; FranceNice, France

  • Source: 2nd International Conference on the Art, Science, and Engineering of Programminghttps://minesparis-psl.hal.science/hal-019395162nd International Conference on the Art, Science, and

Record details

×
Report

The Recursive Record Semantics of Objects Revisited

Subjects: FIXPOINT; TYPES; RECORDS

  • Source: https://inria.hal.science/inria-00072423 ; RR-4199, INRIA. 2001.

Record details

×
Conference

Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Vienna; Austria

  • Source: Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10) ; https://inria.hal.science/inria-00551518 ; Proceedings of the 15th Workshop on Compilers for Parallel Computers

Record details

×
Academic Journal

Cognitive digital twins for freight parking management in last mile delivery under smart cities paradigm

Subjects: Last Mile Delivery; Freight Parking Management; Sustainability

  • Source: ISSN: 0166-3615 ; Computers in Industry ; https://hal.science/hal-04223860 ; Computers in Industry, 2023, 153, pp.104022. ⟨10.1016/j.compind.2023.104022⟩.

Record details

×
Conference

Smart City Logistics Enabled by Digital Twins and Semantic Technologies

Subjects: City Logistics; Smart Cities; Digital TwinAnnecy; France

  • Source: 13th International Workshop on Service-Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future (SOHOMA2023)https://hal.science/hal-0421791713th International

Record details

×
Conference

The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms

Subjects: Digital Signal Processing; Programming Language Semantics; Synchronous ProgrammingVirtual; South Korea

  • Source: FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design ; FARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music,

Record details

×
Report

Semantics for multirate Faust

Subjects: FAUST; multirate; processing

  • Source: https://hal.science/hal-02158991 ; [Technical Report] GRAME. 2009.

Record details

×
Report

Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation

Subjects: Web Semantics; ontology; embeddings

  • Source: https://minesparis-psl.hal.science/hal-03565114 ; [Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022.

Record details

×
  • 1-10 of  76 results for ""Semantics""