-
1
-
-
0037587555
-
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
-
Portland, OR, May
-
J. Hatcliff, W. Deng, M. Dwyer, G. Jung, and V. Prasad. Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. In Proceedings of the 25th International Conference on Software Engineering, Portland, OR, May 2003.
-
(2003)
Proceedings of the 25th International Conference on Software Engineering
-
-
Hatcliff, J.1
Deng, W.2
Dwyer, M.3
Jung, G.4
Prasad, V.5
-
2
-
-
29244477515
-
Model-Based Run-Time Monitoring of End-to-End Deadlines
-
Jersey City, NJ, Sept, ACM
-
Jaswinder Ahluwalia and Ingolf H. Krüger and Walter Phillips and Michael Meisinger. Model-Based Run-Time Monitoring of End-to-End Deadlines. In Proceedings of the Fifth ACM International Conference On Embedded Software, Jersey City, NJ, Sept. 2005. ACM.
-
(2005)
Proceedings of the Fifth ACM International Conference On Embedded Software
-
-
Ahluwalia, J.1
Krüger, I.H.2
Phillips, W.3
Meisinger, M.4
-
3
-
-
23844447942
-
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
-
G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science, 9(11):1296-1321, 2003. www.jucs.org/jucs_9_11/ on_the_use_of.
-
(2003)
Journal of Universal Computer Science
, vol.9
, Issue.11
, pp. 1296-1321
-
-
Karsai, G.1
Agrawal, A.2
Shi, F.3
Sprinkle, J.4
-
4
-
-
36348958355
-
Quicker: A model-driven qos mapping tool for qos-enabled component middleware
-
Washington, DC, USA, IEEE Computer Society
-
A. Kavimandan, K. Balasubramanian, N. Shankaran, A. Gokhale, and D. C. Schmidt. Quicker: A model-driven qos mapping tool for qos-enabled component middleware. In ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pages 62-70, Washington, DC, USA, 2007. IEEE Computer Society.
-
(2007)
ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
, pp. 62-70
-
-
Kavimandan, A.1
Balasubramanian, K.2
Shankaran, N.3
Gokhale, A.4
Schmidt, D.C.5
-
6
-
-
70450268901
-
Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-time Systems using Shared Buffers
-
Washington, DC, May, IEEE
-
S. Kodase, S. Wang, Z. Gu, and K. G. Shin. Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-time Systems using Shared Buffers. In Proceedings of the 9th Real-time/Embedded Technology and Applications Symposium (RTAS 2003), Washington, DC, May 2003. IEEE.
-
(2003)
Proceedings of the 9th Real-time/Embedded Technology and Applications Symposium (RTAS 2003)
-
-
Kodase, S.1
Wang, S.2
Gu, Z.3
Shin, K.G.4
-
7
-
-
24944585706
-
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems
-
San Francisco, CA, Mar, IEEE
-
A. S. Krishna, E. Turkay, A. Gokhale, and D. C. Schmidt. Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems. In Proceedings of the 11th Real-time Technology and Application Symposium (RTAS '05), pages 180-189, San Francisco, CA, Mar. 2005. IEEE.
-
(2005)
Proceedings of the 11th Real-time Technology and Application Symposium (RTAS '05)
, pp. 180-189
-
-
Krishna, A.S.1
Turkay, E.2
Gokhale, A.3
Schmidt, D.C.4
-
8
-
-
0035500228
-
Composing Domain-Specific Design Environments
-
November
-
A. Ledeczi, A. Bakay, M. Maroti, P. Volgysei, G. Nordstrom, J. Sprinkle, and G. Karsai. Composing Domain-Specific Design Environments. IEEE Computer, pages 44-51, November 2001.
-
(2001)
IEEE Computer
, pp. 44-51
-
-
Ledeczi, A.1
Bakay, A.2
Maroti, M.3
Volgysei, P.4
Nordstrom, G.5
Sprinkle, J.6
Karsai, G.7
-
9
-
-
0033348301
-
A Scalable Solution to the Multi-Resource QoS Problem
-
Phoenix, AZ, Dec
-
C. Lee, J. Lehoczky, D. Siewiorek, R. Rajkumar, and J. Hansen. A Scalable Solution to the Multi-Resource QoS Problem. In Proceedings of the IEEE Real-time Systems Symposium (RTSS 99), pages 315-326, Phoenix, AZ, Dec. 1999.
-
(1999)
Proceedings of the IEEE Real-time Systems Symposium (RTSS 99)
, pp. 315-326
-
-
Lee, C.1
Lehoczky, J.2
Siewiorek, D.3
Rajkumar, R.4
Hansen, J.5
-
10
-
-
33644910910
-
-
T. Mens, P. V. Gorp, D. Varro, and G. Karsai. Applying a Model Transformation Taxonomy to Graph Transformation Technology. In Lecture Notes in Computer Science: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT'05), 152, pages 143-159, Tallinn, Estonia, Sept. 2006. Springer-Verlag.
-
T. Mens, P. V. Gorp, D. Varro, and G. Karsai. Applying a Model Transformation Taxonomy to Graph Transformation Technology. In Lecture Notes in Computer Science: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT'05), volume 152, pages 143-159, Tallinn, Estonia, Sept. 2006. Springer-Verlag.
-
-
-
-
11
-
-
49649113018
-
Verifying Model Transformations by Structural Correspondence
-
Technical Report ISIS07-809, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, Dec
-
A. Narayanan and G. Karsai. Verifying Model Transformations by Structural Correspondence. Technical Report ISIS07-809, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, Dec 2007.
-
(2007)
-
-
Narayanan, A.1
Karsai, G.2
-
12
-
-
4344696264
-
Generators for Synthesis of QoS Adaptation in Distributed Realtime Embedded Systems
-
Pittsburgh, PA, Oct
-
S. Neema, T. Bapty, J. Gray, and A. Gokhale. Generators for Synthesis of QoS Adaptation in Distributed Realtime Embedded Systems. In Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Pittsburgh, PA, Oct. 2002.
-
(2002)
Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02)
-
-
Neema, S.1
Bapty, T.2
Gray, J.3
Gokhale, A.4
-
13
-
-
3042646084
-
Techniques for Enhancing Real-time CORBA Quality of Service
-
July
-
I. Pyarali, D. C. Schmidt, and R. Cytron. Techniques for Enhancing Real-time CORBA Quality of Service. IEEE Proceedings Special Issue on Real-time Systems, 91(7): 1070-1085, July 2003.
-
(2003)
IEEE Proceedings Special Issue on Real-time Systems
, vol.91
, Issue.7
, pp. 1070-1085
-
-
Pyarali, I.1
Schmidt, D.C.2
Cytron, R.3
-
16
-
-
49649124219
-
VEST: An Aspect-Based Composition Tool for Real-Time Systems
-
Washington, DC, USA, IEEE Computer Society
-
J. A. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey, and B. Ellis. VEST: An Aspect-Based Composition Tool for Real-Time Systems. In RTAS '03: Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, page 58, Washington, DC, USA, 2003. IEEE Computer Society.
-
(2003)
RTAS '03: Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
, pp. 58
-
-
Stankovic, J.A.1
Zhu, R.2
Poornalingam, R.3
Lu, C.4
Yu, Z.5
Humphrey, M.6
Ellis, B.7
-
17
-
-
34248566909
-
FC-ORB: A robust distributed real-time embedded middleware with endto-end utilization controlstar, open
-
X. Wang, Y. Chen, C. Lu, and X. Koutsoukos. FC-ORB: A robust distributed real-time embedded middleware with endto-end utilization controlstar, open. Journal of Systems and Software, 80(7):938-950, 2007.
-
(2007)
Journal of Systems and Software
, vol.80
, Issue.7
, pp. 938-950
-
-
Wang, X.1
Chen, Y.2
Lu, C.3
Koutsoukos, X.4
-
18
-
-
0036367561
-
ControlWare: A Middleware Architecture for Feedback Control of Software Performance
-
Vienna, Austria, July
-
R. Zhang, C. Lu, T. F. Abdelzaher, and J. A. Stankovic. ControlWare: A Middleware Architecture for Feedback Control of Software Performance. In Proceedings of the International Conference on Distributed Computing Systems (ICDCS), Vienna, Austria, July 2002.
-
(2002)
Proceedings of the International Conference on Distributed Computing Systems (ICDCS)
-
-
Zhang, R.1
Lu, C.2
Abdelzaher, T.F.3
Stankovic, J.A.4
-
19
-
-
33846238538
-
MDABench: Customized benchmark generation using MDA
-
Feb
-
L. Zhu, N. B. Bui, Y. Liu, and I. Gorton. MDABench: Customized benchmark generation using MDA. Journal of Systems and Software, 80(2):265-282, Feb. 2007.
-
(2007)
Journal of Systems and Software
, vol.80
, Issue.2
, pp. 265-282
-
-
Zhu, L.1
Bui, N.B.2
Liu, Y.3
Gorton, I.4
|