-
2
-
-
79951651150
-
An end-to-end domain-driven development framework
-
Agrawal A, Karsai G, Ledeczi A (2003) An end-to-end domain-driven development framework. In Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
-
(2003)
Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
-
-
Agrawal, A.1
Karsai, G.2
Ledeczi, A.3
-
6
-
-
0344951184
-
Metropolis: An integrated electronic system design environment
-
Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A (2003) Metropolis: An integrated electronic system design environment. Computer 36(4):45-52
-
(2003)
Computer
, vol.36
, Issue.4
, pp. 45-52
-
-
Balarin, F.1
Watanabe, Y.2
Hsieh, H.3
Lavagno, L.4
Passerone, C.5
Sangiovanni-Vincentelli, A.6
-
7
-
-
0019342681
-
Scheduling subject to resource constraints: Classification and complexity
-
Blazewicz J, Lenstra J, Kan AR (1983) Scheduling subject to resource constraints: Classification and complexity. Discrete Applied Mathematics, pp 11-24
-
(1983)
Discrete Applied Mathematics
, pp. 11-24
-
-
Blazewicz, J.1
Lenstra, J.2
Kan, A.R.3
-
8
-
-
35048823744
-
The IF toolset. Formal methods for the design of real-time systems
-
Bozga M, Graf S, Ober I, Ober I, Sifakis J (2004) The IF toolset. Formal Methods for the Design of Real-Time Systems, LNCS 3185, pp 237-267
-
(2004)
LNCS
, vol.3185
, pp. 237-267
-
-
Bozga, M.1
Graf, S.2
Ober, I.3
Ober, I.4
Sifakis, J.5
-
9
-
-
84887462531
-
Verification of real-time designs: Combining scheduling theory with automatic formal verification
-
Braberman VA, Felder M (1999) Verification of real-time designs: Combining scheduling theory with automatic formal verification. In Software Engineering-ESEC/FSE 99, pp 494-510
-
(1999)
Software Engineering-ESEC/FSE 99
, pp. 494-510
-
-
Braberman, V.A.1
Felder, M.2
-
11
-
-
0004101993
-
-
Wiley & Sons, New York
-
Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M (1996) Pattern-oriented software architecture - A system of patterns. Wiley & Sons, New York
-
(1996)
Pattern-oriented Software Architecture - A System of Patterns
-
-
Buschmann, F.1
Meunier, R.2
Rohnert, H.3
Sommerlad, P.4
Stal, M.5
-
12
-
-
10444267328
-
Rate monotonic vs. EDF: Judgment day
-
Buttazzo GC (2005) Rate monotonic vs. EDF: Judgment day. Real-Time Systems 29:5-26
-
(2005)
Real-time Systems
, vol.29
, pp. 5-26
-
-
Buttazzo, G.C.1
-
13
-
-
84947240522
-
FORGE: A framework for optimization of distributed embedded systems software
-
Cornea R, Dutt N, Gupta R, Krueger I, Nicolau A, Schmidt D, Shukla S (2003) FORGE: A framework for optimization of distributed embedded systems software. In Proceedings of the International Parallel and Distributed Processing Symposium
-
(2003)
Proceedings of the International Parallel and Distributed Processing Symposium
-
-
Cornea, R.1
Dutt, N.2
Gupta, R.3
Krueger, I.4
Nicolau, A.5
Schmidt, D.6
Shukla, S.7
-
14
-
-
40149092144
-
The tool KRONOS
-
Springer-Verlag, New York, Inc.
-
Daws C, Olivero A, Tripakis S, Yovine S (1996) The tool KRONOS. In Proceedings of the DIMACS/SYCON Workshop on Hybrid Systems III: Verification and Control. Springer-Verlag, New York, Inc., pp 208-219
-
(1996)
Proceedings of the DIMACS/SYCON Workshop on Hybrid Systems III: Verification and Control
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
15
-
-
0242696251
-
Time weaver: A software-through-models framework for real-time systems
-
de Niz D, Rajkumar R (2003) Time weaver: A software-through-models framework for real-time systems. In Proceedings of LCTES
-
(2003)
Proceedings of LCTES
-
-
De Niz, D.1
Rajkumar, R.2
-
21
-
-
23944507150
-
Integrated adaptive QoS management in middleware: An empirical case study
-
Gill CD, Gossett JM, Corman D, Loyall JP, Schantz RE, Atighetchi M, Schmidt DC (2005) Integrated adaptive QoS management in middleware: An empirical case study. Journal of Real-Time Systems 24
-
(2005)
Journal of Real-time Systems
, vol.24
-
-
Gill, C.D.1
Gossett, J.M.2
Corman, D.3
Loyall, J.P.4
Schantz, R.E.5
Atighetchi, M.6
Schmidt, D.C.7
-
22
-
-
21644440074
-
Model driven middleware: A new paradigm for deploying and provisioning distributed real-time and embedded applications
-
to appear
-
Gokhale A, Balasubramanian K, Balasubramanian J, Krishna AS, Edwards GT, Deng G, Turkay E, Parsons J, Schmidt DC (2005) Model driven middleware: A new paradigm for deploying and provisioning distributed real-time and embedded applications. The Journal of Science of Computer Programming: Special Issue on Model Driven Architecture, (to appear)
-
(2005)
The Journal of Science of Computer Programming: Special Issue on Model Driven Architecture
-
-
Gokhale, A.1
Balasubramanian, K.2
Balasubramanian, J.3
Krishna, A.S.4
Edwards, G.T.5
Deng, G.6
Turkay, E.7
Parsons, J.8
Schmidt, D.C.9
-
25
-
-
0031250631
-
The design and performance of a real-time CORBA event service
-
ACM Press
-
Harrison TH, Levine DL, Schmidt DC (1997) The design and performance of a real-time CORBA event service. In Proceedings of the 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, pp 184-200
-
(1997)
Proceedings of the 12th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications
, pp. 184-200
-
-
Harrison, T.H.1
Levine, D.L.2
Schmidt, D.C.3
-
26
-
-
0034559432
-
Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem
-
Hartmann S, Kolisch R (2000) Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem. European Journal of Operations Research, 394-407
-
(2000)
European Journal of Operations Research
, pp. 394-407
-
-
Hartmann, S.1
Kolisch, R.2
-
27
-
-
0037587555
-
Cadena: An integrated development, analysis, and verification environment for component-based systems
-
Hatcliff J, Deng X, Dwyer MB, Jung G, Ranganath VP (2003) Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of International Conference on Software Engineering
-
(2003)
Proceedings of International Conference on Software Engineering
-
-
Hatcliff, J.1
Deng, X.2
Dwyer, M.B.3
Jung, G.4
Ranganath, V.P.5
-
28
-
-
0036041563
-
Lazy abstraction
-
ACM Press, New York, NY, USA
-
Henzinger TA, Jhala R, Majumdar R, Sutre G (2002) Lazy abstraction. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM Press, New York, NY, USA, pp 58-70
-
(2002)
POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
32
-
-
35048885122
-
Decidable and undecidable problems in schedulability analysis using timed automata
-
Jensen K, Podelski A (eds), Proc. of TACAS'04, Barcelona, Spain, ser., Springer-Verlag
-
Erčál P, Yi W (2004) Decidable and undecidable problems in schedulability analysis using timed automata. In Jensen K, Podelski A (eds), Proc. of TACAS'04, Barcelona, Spain, ser. Lecture Notes in Computer Science, Springer-Verlag, vol. 2988, pp 236-250
-
(2004)
Lecture Notes in Computer Science
, vol.2988
, pp. 236-250
-
-
Erčál, P.1
Yi, W.2
-
34
-
-
0035500228
-
Composing domain-specific design environments
-
Ledeczi A, Bakay A, Maroti M, Volgyesi P, Nordstrom G, Sprinkle J (2001) Composing domain-specific design environments. Computer 44-51
-
(2001)
Computer
, pp. 44-51
-
-
Ledeczi, A.1
Bakay, A.2
Maroti, M.3
Volgyesi, P.4
Nordstrom, G.5
Sprinkle, J.6
-
35
-
-
84974687699
-
Scheduling algorithms for multiprogramming in a hard-real-time environment
-
Liu CL, Layland JW (1973)Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46-61
-
(1973)
J ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.L.1
Layland, J.W.2
-
37
-
-
29244444178
-
Model-based analysis of distributed real-time embedded system composition
-
Madl G, Abdelwahed S (2005) Model-based Analysis of Distributed Real-time Embedded System Composition. In EMSOFT 2005
-
(2005)
EMSOFT 2005
-
-
Madl, G.1
Abdelwahed, S.2
-
38
-
-
0347781235
-
-
[Online]
-
Object Management Group (2002a) CORBA component model. [Online], Available: http://www.omg.org
-
(2002)
CORBA Component Model
-
-
-
39
-
-
3042591192
-
-
OMG document formal/02-08-02 ed.
-
Object Management Group (2002b) Real-time CORBA Specification. OMG document formal/02-08-02 ed.
-
(2002)
Real-time CORBA Specification
-
-
-
44
-
-
0004101997
-
-
Wiley & Sons, New York
-
Schmidt DC, Stal M, Rohnert H, Buschmann F (2000) Pattern-oriented software architecture: Patterns for concurrent and networked objects, vol. 2. Wiley & Sons, New York
-
(2000)
Pattern-oriented Software Architecture: Patterns for Concurrent and Networked Objects
, vol.2
-
-
Schmidt, D.C.1
Stal, M.2
Rohnert, H.3
Buschmann, F.4
-
46
-
-
49649124219
-
VEST: An aspect-based composition tool for real-time systems
-
Stankovic JA, Zhu R, Poornalingham R, Lu C, Yu Z, Humphrey M, Ellis B (2003) VEST: An aspect-based composition tool for real-time systems. In Proceedings of the IEEE Real-Time Applications Symposium
-
(2003)
Proceedings of the IEEE Real-time Applications Symposium
-
-
Stankovic, J.A.1
Zhu, R.2
Poornalingham, R.3
Lu, C.4
Yu, Z.5
Humphrey, M.6
Ellis, B.7
-
49
-
-
33646681416
-
Applying reflective middleware techniques to optimize a QoS-enabled CORBA component model implementation
-
IEEE, Taipei, Taiwan
-
Wang N, Schmidt DC, Parameswaran K, Kircher M (2000) Applying reflective middleware techniques to optimize a QoS-enabled CORBA component model implementation. In 24th Computer Software and Applications Conference. IEEE, Taipei, Taiwan
-
(2000)
24th Computer Software and Applications Conference
-
-
Wang, N.1
Schmidt, D.C.2
Parameswaran, K.3
Kircher, M.4
|