Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Min-Young Nam"'
Autor:
Nizamutdinova, Irina Tsoy, Oh, Hwa Min, Min, Young Nam, Park, Sun Hee, Lee, Min Joo, Kim, Ju Sun, Yean, Min Hye, Kang, Sam Sik, Kim, Yeong Shik, Chang, Ki Churl, Kim, Hye Jung
Publikováno v:
In International Immunopharmacology March 2007 7(3):343-350
Publikováno v:
IEEE Systems Journal. 9:1354-1362
Early analysis of timing is essential in the design of reliable avionics systems. We consider an environmental monitoring system that allows the surroundings of an aircraft to be observed continuously in real time. We analyze timing aspects of the pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7990ab40c888c5c93612252024d8a49b
https://doi.org/10.1109/jsyst.2014.2336872
https://doi.org/10.1109/jsyst.2014.2336872
Publikováno v:
Journal of Medical Systems. 41
The work of a hospital's medical staff is safety critical and often occurs under severe time constraints. To provide timely and effective cognitive support to medical teams working in such contexts, guidelines in the form of best practice workflows f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5f40f7c885f14cb2da2ec474b2a5e5d
https://doi.org/10.1007/s10916-017-0829-x
https://doi.org/10.1007/s10916-017-0829-x
Publikováno v:
IEEE Transactions on Computers. 63:1460-1473
New features are often added incrementally to avionics systems to minimize the need for redesign and recertification. However, it then becomes necessary to check that the timing constraints of existing as well as new applications are met. We facilita
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::308e65dc2a0889e6d6522aac8a3dd53d
https://doi.org/10.1109/tc.2012.300
https://doi.org/10.1109/tc.2012.300
Autor:
Min-Young Nam, Young-Sik Kim
Publikováno v:
The Journal of Korean Institute of Electromagnetic Engineering and Science. 24:613-622
In this paper, an inductive clamping class-E power amplifier has been tested for wireless power transmission at ISM band, 13.56 MHz. The implemented power amplifier is designed to operate stably without destroying power transistor in wireless power t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::136742ffa41cac64e87f4f4a804f2f84
https://doi.org/10.5515/kjkiees.2013.24.6.613
https://doi.org/10.5515/kjkiees.2013.24.6.613
Publikováno v:
IEEE Transactions on Mobile Computing. 12:219-232
We propose a model-based description and analysis framework for the design of wireless system architectures. Its aim is to address the shortcomings of existing approaches to system verification and the tracking of anomalies in safety-critical wireles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2b1055d13918e64d4117f2650d40566
https://doi.org/10.1109/tmc.2011.260
https://doi.org/10.1109/tmc.2011.260
Publikováno v:
WETSoM@ICSE
Todays' embedded and cyber-physical systems (CPS) rely heavily on complex software functions. While part of this complexity is unavoidable and caused by a growing number of functions (intrinsic complexity), another part is related to inappropriate de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2d649a93362b06a31537321eb3ccb76
https://doi.org/10.1145/2897695.2897700
https://doi.org/10.1145/2897695.2897700
Publikováno v:
ACM Transactions on Embedded Computing Systems. 11:1-23
With the advance of hardware technology, more features are incrementally added to already existing networked systems. Avionics has a stronger tendency to use preexisting applications due to its complexity and scale. As resource sharing becomes intens
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7031235dbe822ff0ac1ef9f48ecf70d4
https://doi.org/10.1145/2362336.2362348
https://doi.org/10.1145/2362336.2362348
Publikováno v:
IEEE Transactions on Computers. 57:795-808
As the elderly population increases, elderly care using inexpensive technological means is becoming critical. This paper presents our prototype system that provides real-time indoor tracking of elderly residents and their belongings, which is essenti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::388fac2b6eff9266e6a9a8632f3a2218
https://doi.org/10.1109/tc.2008.21
https://doi.org/10.1109/tc.2008.21
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ISoLA (1)
Cyber-physical systems are generally composed of several software components executing on different processors that are interconnected through entities that can be represented as buses. These complex systems collocate functions operating at different
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90180689516526713817f7a807650e53
https://doi.org/10.1007/978-3-319-47166-2_64
https://doi.org/10.1007/978-3-319-47166-2_64
