Search results

Jump to: navigation, search
  • |Title=Software Hardware Interaction Faults co-located with ISSRE 2019
    1 KB (168 words) - 10:32, 29 October 2019
  • ...ch communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, * Software and hardware verification;
    4 KB (543 words) - 15:39, 16 July 2020
  • ...atter enables companies the opportunity to display its latest offerings of hardware, software, tools, services and books, through an exhibit booth. For further
    6 KB (798 words) - 14:57, 13 February 2009
  • problems which may occur at different levels in the hardware and software design of communicating entities and
    13 KB (1,706 words) - 15:34, 27 December 2015
  • ...formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing o ...software, novel models of computation, and new design paradigms that unify hardware and software design.
    5 KB (708 words) - 17:23, 13 October 2008
  • advantage of tens and eventually hundreds of hardware threads.
    6 KB (701 words) - 13:43, 25 September 2008
  • ...annot be parallelized to take advantage of tens and eventually hundreds of hardware threads. Parallelizing programs is a difficult problem. User specification
    5 KB (752 words) - 13:50, 25 September 2008
  • eventually 100s of hardware treads. Parallelising programs is a
    4 KB (471 words) - 14:12, 25 September 2008
  • ...atter enables companies the opportunity to display its latest offerings of hardware, software, tools, services and books, through an exhibit booth. For further
    4 KB (477 words) - 16:18, 14 October 2008
  • - Educational Technology, Humanoids, Rough Sets, and Evolvable Hardware
    4 KB (585 words) - 15:13, 14 October 2008
  • • Cluster Architecture and Hardware Systems ◦ Hardware Architecture
    4 KB (452 words) - 16:47, 7 April 2021
  • ...guage will be English. Paper submissions on new methodologies, algorithms, hardware components, system architectures and interesting applications are solicited
    3 KB (459 words) - 16:26, 14 October 2008
  • Computing systems including hardware, software, communication, and networks are growing towards an ever increasi - Trusted Reliable and Dependable Systems: Fault-tolerant systems, hardware redundancy, robustness, survivable systems, failure recovery, etc.
    9 KB (1,216 words) - 16:32, 14 October 2008
  • IEEE Workshop on Evolvable and Adaptive Hardware (WEAH 2009)
    3 KB (376 words) - 16:47, 14 October 2008
  • |Title=Conference on Cryptographic Hardware and Embedded Systems 2019
    553 bytes (63 words) - 16:14, 10 March 2020
  • .Embedded Hardware and Architectures .Hardware/Software Co-Design
    3 KB (375 words) - 16:48, 14 October 2008
  • ...aid memory management; interactions with languages, operating systems, and hardware, especially the memory system; memory management related tools; and empiric
    6 KB (967 words) - 21:51, 4 February 2009
  • ...o WCET analysis o compilation for real-time or embedded systems o novel hardware or system architectures for real-time or o composability of software, hardware and physical components o analysis of cyber-physical systems with multiple
    8 KB (939 words) - 16:48, 14 October 2008
  • * Architecture and hardware aspects: high-performance and power-aware microarchitectures, multithreadin * Hardware and software aspects of computational accelerators for supercomputing, such
    2 KB (328 words) - 10:46, 20 October 2016
  • * Benchmarking: Evaluating performance of grid hardware and middleware. Grid benchmarking.
    2 KB (310 words) - 19:13, 14 October 2008

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