Search results

• CAV 2021
  * Algorithms and tools for verifying models and implementations * Algorithms and tools for system synthesis
  2 KB (188 words) - 20:16, 1 April 2022
• MODELS 2009
  |Acronym=MODELS 2009 ...IEEE 12th International Conference on Model Driven Engineering Languages and Systems
  2 KB (212 words) - 19:08, 1 April 2022
• HIPS 2009
  ...e = 14th International Workshop on High-Level Parallel Programming Models and Supportive Environments ...l models, language design, compilers, system architecture, and programming tools to discuss new developments in programming such systems.
  2 KB (260 words) - 19:00, 1 April 2022
• MODELS 2021
  |Acronym=MODELS 2021 ...nternational Conference on Model Driven Engineering Languages and Systems (MODELS)
  2 KB (245 words) - 20:12, 1 April 2022
• APCCM 2018
  ...esearch in conceptual modelling as well as experiences, novel applications and future challenges. Topics of interest include, but are not restricted to: * Business, enterprise, process and services modelling;
  2 KB (241 words) - 19:55, 1 April 2022
• APCCM 2019
  ...esearch in conceptual modelling as well as experiences, novel applications and future challenges. Topics of interest include, but are not restricted to: * Business, enterprise, process and services modelling;
  3 KB (271 words) - 19:55, 1 April 2022
• Tools Europe 2009
  | Acronym = Tools Europe 2009 | Title = 47th International Conference Objects, Models, Components, Patterns
  3 KB (331 words) - 21:04, 1 April 2022
• SimpleScalar
  ...performance visualization tools, statistical analysis resources, and debug and verification infrastructure. ...e, making it possible for users extend SimpleScalar, and to adapt existing models to their own ideas.
  2 KB (210 words) - 12:17, 7 April 2016
• Ptolemy 2009
  | Title = Ptolemy Ptutorial and Miniconference and design of concurrent, real-time, embedded systems. The focus is on
  3 KB (339 words) - 19:02, 1 April 2022
• Coordination 2018
  |Title=20th International Conference on Coordination Models and Languages ...ordination: component composition, concurrency, mobility, dynamic, spatial and robabilistic aspects of coordination, logic, emergent behaviour, types, sem
  3 KB (282 words) - 19:49, 1 April 2022
• FARES 2012
  ...e Seventh International Workshop on Frontiers in Availability, Reliability and Security |Field=Computer security and reliability
  2 KB (223 words) - 19:06, 1 April 2022
• PDP 2017
  ...017 : The 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing |Field=parallel computing, models and tools, systems and architectures, big data
  519 bytes (63 words) - 19:22, 1 April 2022
• Coordination 2020
  |Title=22nd International Conference on Coordination Models and Languages ...ordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, se
  2 KB (271 words) - 20:11, 1 April 2022
• MEMOCODE 2009
  | Title = Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign The seventh MEMOCODE conference will gather researchers and
  1 KB (168 words) - 20:54, 1 April 2022
• CAV 2020
  ...marily through Zoom and Slack for attendees. Some sessions (e.g., keynotes and tutorials) will also be live streamed on YouTube. ...inger, [https://link.springer.com/book/10.1007%2F978-3-030-53288-8 Part I] and [https://link.springer.com/book/10.1007%2F978-3-030-53291-8 Part II].
  3 KB (356 words) - 20:16, 1 April 2022
• DCOSS 2021
  * Edge and fog computing: distributed computing models from sensor to cloud * Energy harvesting models and optimization
  2 KB (192 words) - 20:11, 1 April 2022
• MPM 2009
  | Title = Multiparadigm Modeling: Concepts and Tools In conjunction with MODELS Conference,
  2 KB (302 words) - 20:54, 1 April 2022
• EON-SWSC 2008
  | Title = Sixth International Workshop on Evaluation of Ontology-based tools and the Semantic Web Service Challenge ...n track of the workshop is focused on the evaluation of Semantic Web tools and applications, including but not limited to:
  2 KB (293 words) - 20:40, 1 April 2022
• WISE 2016
  ...l in the domain of Web, information systems, data analytics, and knowledge and data engineering. The decision on acceptance/rejection of workshop proposal * Big Data Techniques and Applications
  2 KB (235 words) - 19:12, 1 April 2022
• IEEE Cluster 2021
  ==== Area 1: Application, Algorithms, and Libraries ==== * HPC and Big Data application studies on large-scale clusters
  3 KB (317 words) - 20:15, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)