Search

Your search keyword '"Heejong Park"' showing total 38 results

Search Constraints

Start Over You searched for: Author "Heejong Park" Remove constraint Author: "Heejong Park"
38 results on '"Heejong Park"'

Search Results

15. Memory management of safety-critical hard real-time systems designed in SystemJ

16. An anomaly detection framework for digital twin driven cyber-physical systems

17. Online cycle detection for models with mode-dependent input and output dependencies

19. Integration of Distributed Energy Resources and Enhancing Local Grid Load Factor using Localized Demand Control

20. TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems

21. Noc-HMP

22. Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture

23. Challenges in Digital Twin Development for Cyber-Physical Production Systems

24. Compiling and verifying SC-SystemJ programs for safety-critical reactive systems

25. Mitigation of Local Grid Congestion Due to Electric Vehicles Through Localized Demand Control

26. Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times

27. Times Square – Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages

28. System-level approach to the design of ambient intelligence systems based on wireless sensor and actuator networks

29. Optimizing Latencies and Customizing NoC of Time-Predictable Heterogeneous Multi-core Processor

30. A heterogeneous multi-core SoC for mixed criticality industrial automation systems

31. A unified framework for the design of distributed cyber-physical systems - industrial automation example

32. FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things

33. The Cardiac Pacemaker

34. WYPIWYE automation systems — An intelligent manufacturing system case study

35. Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499

36. Times square - marriage of real-time and logical-time in GALS and synchronous languages

37. A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example

38. GALS-CMP: Chip-multiprocessor for GALS embedded systems

Catalog

Books, media, physical & digital resources