-
2
-
-
38149115207
-
-
Forge Project
-
Forge Project: http://forge.ics.uci.edu
-
-
-
-
3
-
-
33746298688
-
A cross-layer approach for power-performance optimization in distributed mobile systems
-
Mohapatra, S., Cornea, R., Oh, H., Lee, K., Kim, M., Dutt, N.D., Gupta, R., Nicolau, A., Shukla, S.K., Venkatasubramanian, N.: A cross-layer approach for power-performance optimization in distributed mobile systems. In: IEEE 19th International Parallel and Distributed Processing Symposium (IPDPS'05) (2005)
-
(2005)
IEEE 19th International Parallel and Distributed Processing Symposium (IPDPS'05)
-
-
Mohapatra, S.1
Cornea, R.2
Oh, H.3
Lee, K.4
Kim, M.5
Dutt, N.D.6
Gupta, R.7
Nicolau, A.8
Shukla, S.K.9
Venkatasubramanian, N.10
-
4
-
-
37149047592
-
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems
-
9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'07
-
Kim, M., Stehr, M.O., Talcott, C., Dutt, N., Venkatasubramanian, N.: A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems. In: 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07). LNCS, vol. 4468, pp. 285-300 (2007)
-
(2007)
LNCS
, vol.4468
, pp. 285-300
-
-
Kim, M.1
Stehr, M.O.2
Talcott, C.3
Dutt, N.4
Venkatasubramanian, N.5
-
5
-
-
37149011402
-
A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal
-
Kim, D., Kim, M., Ha, S.: A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal. In: IEEE Workshop on Embedded Systems for Real-Time Multimedia (ESTImedia'03), pp. 57-64 (2003)
-
(2003)
IEEE Workshop on Embedded Systems for Real-Time Multimedia (ESTImedia'03)
, pp. 57-64
-
-
Kim, D.1
Kim, M.2
Ha, S.3
-
6
-
-
17244367323
-
Hybrid run-time power management technique for real-time embedded system with voltage scalable processor
-
Kim, M., Ha, S.: Hybrid run-time power management technique for real-time embedded system with voltage scalable processor. In: ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'01), pp. 11-19 (2001)
-
(2001)
ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'01)
, pp. 11-19
-
-
Kim, M.1
Ha, S.2
-
7
-
-
37149047063
-
PBPAIR: An energy-efficient error-resilient encoding using probability based power aware intra refresh
-
Kim, M., Oh, H., Dutt, N., Nicolau, A., Venkatasubramanian, N.: PBPAIR: an energy-efficient error-resilient encoding using probability based power aware intra refresh. ACM SIGMOBILE Mob. Comput. Commun. Rev. 10(3), 58-69 (2006)
-
(2006)
ACM SIGMOBILE Mob. Comput. Commun. Rev
, vol.10
, Issue.3
, pp. 58-69
-
-
Kim, M.1
Oh, H.2
Dutt, N.3
Nicolau, A.4
Venkatasubramanian, N.5
-
8
-
-
84928563923
-
-
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, 2706, pp. 76-87. Springer, Heidelberg (2003)
-
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76-87. Springer, Heidelberg (2003)
-
-
-
-
9
-
-
0037190144
-
Maude: Specification and programming in rewriting logic
-
Clavel, M., Duran, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187-243 (2002)
-
(2002)
Theoretical Computer Science
, vol.285
, Issue.2
, pp. 187-243
-
-
Clavel, M.1
Duran, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Quesada, J.F.7
-
10
-
-
34447617790
-
All about maude, a high-performance logical framework
-
Springer, Heidelberg
-
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All about maude, a high-performance logical framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4350
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Talcott, C.7
-
11
-
-
0027113376
-
Conditional Rewriting Logic as a unified model of concurrency
-
Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73-155 (1992)
-
(1992)
Theoretical Computer Science
, vol.96
, Issue.1
, pp. 73-155
-
-
Meseguer, J.1
-
12
-
-
38149054772
-
-
Real-Time Maude: http://www.ifi.uio.no/RealTimeMaude
-
Real-Time Maude: http://www.ifi.uio.no/RealTimeMaude
-
-
-
-
13
-
-
84957369657
-
-
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, 1102, pp. 269-276. Springer, Heidelberg (1996)
-
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269-276. Springer, Heidelberg (1996)
-
-
-
-
14
-
-
0002437730
-
A test for normality of observations and regression residuals
-
Jarque, C., Bera, A.: A test for normality of observations and regression residuals. Internat. Statist. Rev. 55(2), 163-172 (1987)
-
(1987)
Internat. Statist. Rev
, vol.55
, Issue.2
, pp. 163-172
-
-
Jarque, C.1
Bera, A.2
-
15
-
-
38149138622
-
Iterative system tuning for proactive systems by formal verification and system prototype: System prototype program interface
-
UC Irvine February
-
Kim, M., Stehr, M.O., Talcott, C., Lee, K., Dutt, N., Venkatasubramanian, N.: Iterative system tuning for proactive systems by formal verification and system prototype: System prototype program interface. CECS Technical Report, UC Irvine (February 2007)
-
(2007)
CECS Technical Report
-
-
Kim, M.1
Stehr, M.O.2
Talcott, C.3
Lee, K.4
Dutt, N.5
Venkatasubramanian, N.6
-
16
-
-
38149063360
-
-
Signal Process. Multimedia Lab. Univ. British Columbia: TMN 10 (H.263, encoder/decoder, version 3.2.0 September 1998
-
Signal Process. Multimedia Lab. Univ. British Columbia: TMN 10 (H.263+) encoder/decoder, version 3.2.0 (September 1998)
-
-
-
-
17
-
-
38149026886
-
-
Ebony Board
-
Ebony Board: http://www.amcc.com/Embedded/
-
-
-
-
18
-
-
38149142244
-
-
http://www.ibm.com/chips/techlib/techlib.nsf/products/ PowerPC_440_Embedded.Core
-
-
-
-
20
-
-
0012571461
-
AutoSeC: An Integrated Middleware Framework for Dynamic Service Brokering
-
On-line
-
Han, Q., Venkatasubramanian, N.: AutoSeC: An Integrated Middleware Framework for Dynamic Service Brokering. IEEE Distributed Systems On-line 2(7) (2001)
-
(2001)
IEEE Distributed Systems
, vol.2
, Issue.7
-
-
Han, Q.1
Venkatasubramanian, N.2
-
21
-
-
23844461782
-
Using probabilistic model checking for dynamic power management
-
Norman, G., Parker, D., Kwiatkowska, M., Shukla, S., Gupta, R.: Using probabilistic model checking for dynamic power management. Formal Aspects of Computing 17(2), 160-176 (2005)
-
(2005)
Formal Aspects of Computing
, vol.17
, Issue.2
, pp. 160-176
-
-
Norman, G.1
Parker, D.2
Kwiatkowska, M.3
Shukla, S.4
Gupta, R.5
-
22
-
-
0031630283
-
Policy optimization for dynamic power management
-
Paleologo, G.A., Benini, L., Bogliolo, A., Micheli, G.D.: Policy optimization for dynamic power management. In: 35th Annual Conference on Design Automation (DAC'98). pp. 182-187 (1998)
-
(1998)
35th Annual Conference on Design Automation (DAC'98)
, pp. 182-187
-
-
Paleologo, G.A.1
Benini, L.2
Bogliolo, A.3
Micheli, G.D.4
-
23
-
-
33745802027
-
PRISM: A tool for automatic verification of probabilistic systems
-
Hermanns, H, Palsberg, J, eds, TACAS 2006 and ETAPS 2006, Springer, Heidelberg
-
Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3920
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
24
-
-
7744221882
-
Online control for self-management in computing systems
-
Abdelwahed, S., Kandasamy, N., Neema, S.: Online control for self-management in computing systems. In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04), p. 368 (2004)
-
(2004)
10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04)
, pp. 368
-
-
Abdelwahed, S.1
Kandasamy, N.2
Neema, S.3
-
25
-
-
77953004688
-
Control-theoretic dynamic frequency and voltage scaling for multimedia workloads
-
Lu, Z., Hein, J., Humphrey, M., Stan, M., Lach, J., Skadron, K.: Control-theoretic dynamic frequency and voltage scaling for multimedia workloads. In: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'02). pp. 156-163 (2002)
-
(2002)
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'02)
, pp. 156-163
-
-
Lu, Z.1
Hein, J.2
Humphrey, M.3
Stan, M.4
Lach, J.5
Skadron, K.6
-
26
-
-
4544225957
-
Assessing the impact of dynamic power management on the functionality and the performance of battery-powered appliances
-
Acquaviva, A., Aldini, A., Bernardo, M., Bogliolo, A., Bonta, E., Lattanzi, E.: Assessing the impact of dynamic power management on the functionality and the performance of battery-powered appliances. In: International Conference on Dependable Systems and Networks (DSN'04). p. 731 (2004)
-
(2004)
International Conference on Dependable Systems and Networks (DSN'04)
, pp. 731
-
-
Acquaviva, A.1
Aldini, A.2
Bernardo, M.3
Bogliolo, A.4
Bonta, E.5
Lattanzi, E.6
|