-
1
-
-
20344387626
-
On the automatic evolution of an OS kernel using temporal logic and AOP
-
Montreal, Canada, Oct. IEEE
-
R. A. Åberg, J. L. Lawall, M. Südholt, G. Muller, and A.-F. Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pages 196-204, Montreal, Canada, Oct. 2003. IEEE.
-
(2003)
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003)
, pp. 196-204
-
-
Åberg, R.A.1
Lawall, J.L.2
Südholt, M.3
Muller, G.4
Le Meur, A.-F.5
-
4
-
-
0042352254
-
Borrowed-virtual-time (BVT) scheduling: Supporting latency-sensitive threads in a general-purpose scheduler
-
Kiawah Island Resort, SC, Dec.
-
K. J. Duda and D. R. Cheriton. Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99), pages 261-276, Kiawah Island Resort, SC, Dec. 1999.
-
(1999)
Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99)
, pp. 261-276
-
-
Duda, K.J.1
Cheriton, D.R.2
-
5
-
-
85084161456
-
Think: A software framework for component-based operating system kernels
-
Monterey, CA, June
-
J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller. Think: A software framework for component-based operating system kernels. In 2000 USENIX Annual Technical Conference, pages 73-86, Monterey, CA, June 2002.
-
(2002)
2000 USENIX Annual Technical Conference
, pp. 73-86
-
-
Fassino, J.-P.1
Stefani, J.-B.2
Lawall, J.3
Muller, G.4
-
6
-
-
0031542969
-
The Flux OSKit: A substrate for kernel and language research
-
Saint-Malo, France, Oct.
-
B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The Flux OSKit: A substrate for kernel and language research. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP'97), pages 38-51, Saint-Malo, France, Oct. 1997.
-
(1997)
Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP'97)
, pp. 38-51
-
-
Ford, B.1
Back, G.2
Benson, G.3
Lepreau, J.4
Lin, A.5
Shivers, O.6
-
7
-
-
85084161088
-
The Pebble component-based operating system
-
Monterey, CA, June
-
E. Gabber, C. Small, J. Bruno, J. Brustoloni, and A. Silberschatz. The Pebble component-based operating system. In Proceedings of the 1999 USENIX Annual Technical Conference, pages 267-282, Monterey, CA, June 1999.
-
(1999)
Proceedings of the 1999 USENIX Annual Technical Conference
, pp. 267-282
-
-
Gabber, E.1
Small, C.2
Bruno, J.3
Brustoloni, J.4
Silberschatz, A.5
-
8
-
-
22844455177
-
Quality of service and electronic newspaper: The Etel solution
-
V. Issarny, M. Banâtre, B. Charpiot, and J.-M. Menaud. Quality of service and electronic newspaper: The Etel solution. Lecture Notes in Computer Science, 1752:472-496, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1752
, pp. 472-496
-
-
Issarny, V.1
Banâtre, M.2
Charpiot, B.3
Menaud, J.-M.4
-
9
-
-
84958983473
-
Imperative program transformation by rewriting
-
In R. Wilhelm, editor, Genova, Italy
-
D. Lacey and O. de Moor. Imperative program transformation by rewriting. In R. Wilhelm, editor, Intl. Conf. on Compiler Construction (CC), volume 2027 of Lecture Notes in Computer Science, pages 52-68, Genova, Italy, 2001.
-
(2001)
Intl. Conf. on Compiler Construction (CC), Volume 2027 of Lecture Notes in Computer Science
, pp. 52-68
-
-
Lacey, D.1
De Moor, O.2
-
10
-
-
11244341120
-
Capturing OS expertise in a modular type system: The Bossa experience
-
Saint-Emilion, France, Sept.
-
J. Lawall, G. Muller, and L. P. Barreto. Capturing OS expertise in a modular type system: the Bossa experience. In ACM SIGOPS European Workshop 2002 (EW'2002), pages 54-61, Saint-Emilion, France, Sept. 2002.
-
(2002)
ACM SIGOPS European Workshop 2002 (EW'2002)
, pp. 54-61
-
-
Lawall, J.1
Muller, G.2
Barreto, L.P.3
-
11
-
-
33646435449
-
Building appliances out of reusable components using Pebble
-
Kolding, Denmark, Sept.
-
K. Magoutis, J. C. Brustoloni, E. Gabber, W. T. Ng, and A. Silberschatz. Building appliances out of reusable components using Pebble. In Proceedings of the ACM SIGOPS European Workshop, pages 211-216, Kolding, Denmark, Sept. 2000.
-
(2000)
Proceedings of the ACM SIGOPS European Workshop
, pp. 211-216
-
-
Magoutis, K.1
Brustoloni, J.C.2
Gabber, E.3
Ng, W.T.4
Silberschatz, A.5
-
12
-
-
84946779704
-
Knit: Component composition for systems software
-
San Diego, CA, Oct.
-
A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide. Knit: Component composition for systems software. In Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 347-360, San Diego, CA, Oct. 2000.
-
(2000)
Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI)
, pp. 347-360
-
-
Reid, A.1
Flatt, M.2
Stoller, L.3
Lepreau, J.4
Eide, E.5
-
13
-
-
19244379733
-
Web cache prefetching as an aspect: Towards a dynamic-weaving based solution
-
Boston, MA, Mar.
-
M. Ségura-Devillechaise, J.-M. Menaud, G. Muller, and J. L. Lawall. Web cache prefetching as an aspect: towards a dynamic-weaving based solution. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 110-119, Boston, MA, Mar. 2003.
-
(2003)
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development
, pp. 110-119
-
-
Ségura-Devillechaise, M.1
Menaud, J.-M.2
Muller, G.3
Lawall, J.L.4
|