Search results

Jump to: navigation, search
  • * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (291 words) - 19:33, 13 May 2020
  • * Intelligent/smart systems and services * Urban Computing and Smart City Systems
    3 KB (284 words) - 15:23, 16 April 2020
  • * – Embedded Chips, Sensors, and Actuators * – Embedded Software and Agents
    2 KB (243 words) - 15:46, 16 April 2020
  • .../models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive pro ...ion, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation.
    8 KB (1,080 words) - 10:43, 17 April 2020
  • ...nd video collections; Implementation of signal, image and video processing systems ...wellbeing; Transportation systems; 5G communications Networks and mm-Wave Systems; Cognitive radio networks; Cyber-physical security; Social networks and fin
    10 KB (1,215 words) - 14:46, 19 April 2020
  • * Embedded and ubiquitous software engineering * Autonomic computing and agent-based systems
    4 KB (490 words) - 09:38, 23 April 2020
  • ...onal Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS). * - Modeling and Simulation of Complex, Intelligent, Adaptive and Autonomous systems
    5 KB (640 words) - 13:03, 5 May 2020
  • The relentless progress of solid-state circuits and systems has a profound impact on our daily lives, changing the way we work, circuits and systems.
    6 KB (673 words) - 09:29, 6 May 2020
  • Continued advances in solid-state circuits and systems have brought evermore powerful communication and computation capabilities i ...management, nearthreshold/subthreshold systems, digital architectures and systems for emerging applications (e.g. virtual reality, autonomous vehicles).
    5 KB (629 words) - 09:36, 6 May 2020
  • ...ng together researchers in the fields of microarchitecture, compilers, and systems for technical exchange. The MICRO community has enjoyed having close intera * Architectures for emerging embedded platforms, including smartphones, automotive, server/cloud, etc.
    4 KB (457 words) - 10:25, 6 May 2020
  • ...ng together researchers in the fields of microarchitecture, compilers, and systems for technical exchange. The MICRO community has enjoyed having close intera * Architectures and compilers for embedded processors, DSPs, GPUs, ASIPs (network processors, multimedia, wireless, et
    4 KB (431 words) - 10:40, 6 May 2020
  • ...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
  • ...nd systems, covering ICs/SoCs, emerging technologies, embedded systems and embedded software. ...gies, IP and design services, reconfigurable and other hardware platforms, embedded software and (industrial) design experiences from different application dom
    4 KB (508 words) - 17:54, 6 January 2021
  • |Title=13th USENIX Symposium on Operating Systems Design and Implementation ...zes innovative research as well as quantified or insightful experiences in systems design and implementation.
    5 KB (598 words) - 14:43, 11 May 2020
  • |Has host organization=USENIX The Advanced Computing Systems Association ...together leading systems researchers for the presentation of cutting-edge systems research and the opportunity to gain insight into a wealth of must-know top
    8 KB (1,078 words) - 09:27, 12 May 2020
  • |Has host organization=USENIX The Advanced Computing Systems Association Sponsored by USENIX, the Advanced Computing Systems Association
    6 KB (729 words) - 09:28, 12 May 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
  • * 2. Embedded Systems and Cyberphysical Systems: * 3. Embedded Systems Software:
    6 KB (739 words) - 15:08, 13 May 2020
  • ...al-time analytics; Real-time data aggregation; Big Data and Industrial 4.0 systems; Internet and Crowdsourcing; Mobile and wearable networks; Smart sensing ne WSSA : Web Services-based Systems and Applications
    14 KB (1,804 words) - 13:49, 5 June 2020
  • ...rmation systems; Adaptive approaches for mobile computing; Mobile software systems; Context- and Location-aware services; Mobile Cloud services; Mobile social ...ocalization; Industrial environments; Aerial vehicles; Non-RSS range-based systems; Time of Flight; Range modeling; Velocity estimation; Calibration & Auto-ca
    7 KB (918 words) - 13:51, 5 June 2020

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