Search results

Create the page "Computer Hardware,Embedded Systems,Time-Sensitive Systems" on this wiki! See also the search results found.

• Petri Nets 2018
  * ● Model checking and verification of distributed systems * ● Verification of infinite-state or parametric systems
  2 KB (243 words) - 20:03, 13 May 2020
• Petri Nets 2019
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (251 words) - 18:19, 13 May 2020
• Petri Nets 2020
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (291 words) - 19:33, 13 May 2020
• DATE 2018
  ...tems, covering ICs/SoCs, reconfigurable hardware and embedded systems, and embedded software. ...gies, IP and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application do
  12 KB (1,651 words) - 13:30, 27 November 2020
• FPGA 2020
  ...ogic fabrics or their components, including routing, flexible logic cells, embedded blocks (memory, DSP, processors), and I/O interfaces. Novel commercial arch ...ocessing, compute acceleration, networking, machine learning, and embedded systems.
  11 KB (1,541 words) - 15:35, 18 June 2020
• ASP-DAC 2020
  * 2. Embedded Systems and Cyberphysical Systems: * 3. Embedded Systems Software:
  6 KB (739 words) - 15:08, 13 May 2020
• ICCGI 2020
  ...g and telecommunications","Knowledge virtualization","Security in network, systems, and applications","IPv6 Today - Technology and deployment" ...Online shopping; Social commerce acceptance; Digital multi-modal transport systems and crowdsensing; Mobile technologies and self-healthcare; Online education
  18 KB (2,036 words) - 02:36, 10 July 2020
• ICONS 2021
  |Title=The Sixteenth International Conference on Systems - ICONS 2021, The Sixteenth International Conference on Systems
  10 KB (1,210 words) - 20:17, 22 November 2020
• CLOUD COMPUTING 2021
  ...ds; Vehicular Cloud networks; Cloud orchestration features; Converged edge systems; Cloud federation; Micro-cloud provider federation; Open-implementation Clo ...services; Cloud technologies; Cloud computing; On-demand computing models; Hardware-as-a-service; Software-as-a-service [SaaS applications]; Platform-as-servic
  8 KB (964 words) - 18:54, 8 December 2020
• WikiData Scientific Events
  | {{OR|RecSys}} || ACM Conference on Recommender Systems || https://www.wikidata.org/entity/Q20888918 | AFIPS NCC || AFIPS National Computer Conferences || https://www.wikidata.org/entity/Q6269156
  19 KB (2,518 words) - 09:03, 21 February 2021
• ICONS 2022,
  |Title=The Seventeenth International Conference on Systems ICONS 2022, The Seventeenth International Conference on Systems
  10 KB (1,228 words) - 02:46, 26 November 2021

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