-
2
-
-
0016963069
-
Programming-in-the-large versus programming-in-the-small
-
Jun
-
F. DeRemer and H. H. Kron. Programming-in-the-large versus programming-in-the-small. IEEE Transactions on Software Engineering, 2(2):80-86, Jun 1976.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.2
, pp. 80-86
-
-
DeRemer, F.1
Kron, H.H.2
-
4
-
-
0003667907
-
An introduction to software architecture
-
Technical Report CMU-CS-94-166, Carnegie Mellon University, Jan
-
D. Garlan and M. Shaw. An introduction to software architecture. Technical Report CMU-CS-94-166, Carnegie Mellon University, Jan 1994.
-
(1994)
-
-
Garlan, D.1
Shaw, M.2
-
6
-
-
33644477627
-
The Fiasco kernel: Requirements definition
-
Technical Report TUD-FI98-12, Dec
-
M. Hohmuth. The Fiasco kernel: requirements definition. Technical Report TUD-FI98-12, Dec 1998.
-
(1998)
-
-
Hohmuth, M.1
-
7
-
-
38949167118
-
-
2 architecture. Technical report, SCSL-TR-93-017, Sony Computer Science Laboratory, 1993.
-
2 architecture. Technical report, SCSL-TR-93-017, Sony Computer Science Laboratory, 1993.
-
-
-
-
8
-
-
84990905607
-
Designing control-lable computer systems
-
Santa Fe, NewMexico, USA, Jun
-
C. Karamanolis, M. Karlsson, and X. Zhu. Designing control-lable computer systems. In Proceedings of USENIX Workshop on Hot Topics in Operating Systems (HotOS), pages 49-54, Santa Fe, NewMexico, USA, Jun 2005.
-
(2005)
Proceedings of USENIX Workshop on Hot Topics in Operating Systems (HotOS)
, pp. 49-54
-
-
Karamanolis, C.1
Karlsson, M.2
Zhu, X.3
-
9
-
-
84984064460
-
Policy/mechanism separation in Hydra
-
ACM Press
-
R. Levin, E. Cohen, W. Corwin, F. Pollack, and W. Wulf. Policy/mechanism separation in Hydra. In Proceedings of the 5th ACM Symposium on Operating systems principles (SOSP), pages 132-140. ACM Press, 1975.
-
(1975)
Proceedings of the 5th ACM Symposium on Operating systems principles (SOSP)
, pp. 132-140
-
-
Levin, R.1
Cohen, E.2
Corwin, W.3
Pollack, F.4
Wulf, W.5
-
10
-
-
0027874073
-
Improving IPC by kernel design
-
Asheville, NC, USA, Dec
-
J. Liedtke. Improving IPC by kernel design. In 14th SOSP, pages 175-88, Asheville, NC, USA, Dec 1993.
-
(1993)
14th SOSP
, pp. 175-188
-
-
Liedtke, J.1
-
11
-
-
0030411888
-
μ-Kernels must and can be small
-
Seattle, WA, USA, Oct, IEEE
-
J. Liedtke. μ-Kernels must and can be small. In 5th IWOOOS, pages 152-161, Seattle, WA, USA, Oct 1996. IEEE.
-
(1996)
5th IWOOOS
, pp. 152-161
-
-
Liedtke, J.1
-
12
-
-
0030243542
-
Towards real microkernels
-
Sep
-
J. Liedtke. Towards real microkernels. CACM, 39(9):70-77, Sep 1996.
-
(1996)
CACM
, vol.39
, Issue.9
, pp. 70-77
-
-
Liedtke, J.1
-
13
-
-
0004250774
-
Separation of concerns
-
Technical report, College of Computer Science, Northeastern University, Boston, Feb
-
C. V. Lopes and W. L. Hursch. Separation of concerns. Technical report, College of Computer Science, Northeastern University, Boston, Feb 1995.
-
(1995)
-
-
Lopes, C.V.1
Hursch, W.L.2
-
14
-
-
0036641752
-
Feedback control real-time scheduling: Framework, modeling, and algorithms
-
C. Lu, J. A. Stankovic, S. H. Son, and G. Tao. Feedback control real-time scheduling: framework, modeling, and algorithms. Real-Time Systems, 23(1-2):85-126, 2002.
-
(2002)
Real-Time Systems
, vol.23
, Issue.1-2
, pp. 85-126
-
-
Lu, C.1
Stankovic, J.A.2
Son, S.H.3
Tao, G.4
-
15
-
-
85027181850
-
Concepts and experiments in computational reflection
-
Orlando, Fl, USA, Oct, ACM Press
-
P. Maes. Concepts and experiments in computational reflection. In Proceedings of OOPSLA'87, Orlando, Fl., USA, Oct 1987. ACM Press.
-
(1987)
Proceedings of OOPSLA'87
-
-
Maes, P.1
-
16
-
-
4544293259
-
Time sensitive architectures: A reflective approach
-
Vienna, Austria, May, IEEE Computer Society Press
-
D. Micucci, S. Ruocco, F. Tisato, and A. Trentini. Time sensitive architectures: a reflective approach. In Proceedings of 7th International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria, May 2004. IEEE Computer Society Press.
-
(2004)
Proceedings of 7th International Symposium on Object-oriented Real-time distributed Computing (ISORC)
-
-
Micucci, D.1
Ruocco, S.2
Tisato, F.3
Trentini, A.4
-
17
-
-
34548045473
-
Emergent (mis)behavior vs. complex software systems
-
Leuven, Belgium, Apr
-
J. C. Mogul. Emergent (mis)behavior vs. complex software systems. In Proceedings of EuroSys2006, Leuven, Belgium, Apr 2006.
-
(2006)
Proceedings of EuroSys2006
-
-
Mogul, J.C.1
-
19
-
-
38949181541
-
-
National ICT Australia. PLEB, 2005. http://www.ertos.nicta. com.au/hardware/pleb/.
-
National ICT Australia. PLEB, 2005. http://www.ertos.nicta. com.au/hardware/pleb/.
-
-
-
-
20
-
-
38949135485
-
An application adaptive generic module-based reflective framework for real-time operating systems
-
Lisbon, Portugal, Dec, Computer Society, IEEE
-
A. Patil and N. Audsley. An application adaptive generic module-based reflective framework for real-time operating systems. In Proceedings Work in Progress session of Real-time Systems Symposium, Lisbon, Portugal, Dec 2004. Computer Society, IEEE.
-
(2004)
Proceedings Work in Progress session of Real-time Systems Symposium
-
-
Patil, A.1
Audsley, N.2
-
23
-
-
4544363067
-
-
Ph.D. Thesis, Università degli Studi di Milano, Milano, Italy, Feb
-
S. Ruocco. Temporal Reflection. Ph.D. Thesis, Università degli Studi di Milano, Milano, Italy, Feb 2004.
-
(2004)
Temporal Reflection
-
-
Ruocco, S.1
-
25
-
-
0003942562
-
Reflection and semantics in a procedural language
-
Technical Report 272, MIT LCS
-
B. C. Smith. Reflection and semantics in a procedural language. Technical Report 272, MIT LCS, 1982.
-
(1982)
-
-
Smith, B.C.1
-
27
-
-
0002778236
-
A reflective architecture for real-time operating systems
-
Sang Son, editor, Prentice-Hall
-
J. Stankovic and K. Ramamritham. A reflective architecture for real-time operating systems. In Sang Son, editor, Advances in Real-Time Systems. Prentice-Hall, 1994.
-
(1994)
Advances in Real-Time Systems
-
-
Stankovic, J.1
Ramamritham, K.2
-
28
-
-
38949136687
-
On the reflective nature of the Spring kernel
-
Technical Report UM-CS-1990-119, University of Massachusetts
-
J. A. Stankovic. On the reflective nature of the Spring kernel. Technical Report UM-CS-1990-119, University of Massachusetts, 1990.
-
(1990)
-
-
Stankovic, J.A.1
-
29
-
-
38949146033
-
Reflective real-time systems
-
Technical Report UM-CS-1993-056, University of Massachusetts
-
J. A. Stankovic. Reflective real-time systems. Technical Report UM-CS-1993-056, University of Massachusetts, 1993.
-
(1993)
-
-
Stankovic, J.A.1
-
30
-
-
85034608084
-
-
Diploma thesis, Dresden University of Technology, Mar
-
U. A. Steinberg. Quality assuring scheduling. Diploma thesis, Dresden University of Technology, Mar 2004.
-
(2004)
Quality assuring scheduling
-
-
Steinberg, U.A.1
-
31
-
-
84924221899
-
-
F. Tisato, A. Savigni, W. Cazzola, and A. Sosio. Architectural reflection: realising software architectures via reflective activities. In W. Emmerich and S. Tai, editors, EDO, 1999 of Lecture Notes in Computer Science, pages 102-115. Springer, 2000.
-
F. Tisato, A. Savigni, W. Cazzola, and A. Sosio. Architectural reflection: realising software architectures via reflective activities. In W. Emmerich and S. Tai, editors, EDO, volume 1999 of Lecture Notes in Computer Science, pages 102-115. Springer, 2000.
-
-
-
-
33
-
-
21644443190
-
Energy-efficient soft real-time cpu scheduling for mobile multimedia systems
-
Bolton Landing, NY, USA, ACM Press
-
W. Yuan and K. Nahrstedt. Energy-efficient soft real-time cpu scheduling for mobile multimedia systems. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP), pages 149-163, Bolton Landing, NY, USA, 2003. ACM Press.
-
(2003)
Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP)
, pp. 149-163
-
-
Yuan, W.1
Nahrstedt, K.2
|