E-LIB Suche - Ergebnisse für: Engler, R.

1

Exokernel : an operating system architecture for applica..:

, In: Proceedings of the fifteenth ACM symposium on Operating systems principles,

Engler, D. R. ; Kaashoek, M. F. ; O'Toole Jr., J. - p. 251-266 , 1995

Link: https://dl.acm.org/doi/1..

2

Assessing and evaluating young children: Developmental doma..:

, In: Healthy development in young children: Evidence-based interventions for early education.,

Alfonso, Vincent C. ; Engler, Joseph R. ; Lepore, Janice C. C. - p. 13-44 , 2020

Link: https://doi.org/10.1037/..

3

symMMU : symbolically executed runtime libraries for sym..:

, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,

Romano, Anthony ; Engler, Dawson R. - p. 247-258 , 2014

Link: https://dl.acm.org/doi/1..

4

EXE : automatically generating inputs of death:

, In: Proceedings of the 13th ACM conference on Computer and communications security,

Cadar, Cristian ; Ganesh, Vijay ; Pawlowski, Peter M... - p. 322-335 , 2006

Link: https://dl.acm.org/doi/1..

5

CMC : a pragmatic approach to model checking real code:

, In: Proceedings of the 5th symposium on Operating systems design and implementation (Copyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading),

Musuvathi, Madanlal ; Park, David Y. W. ; Chou, Andy.. - p. 75-88 , 2002

Link: https://dl.acm.org/doi/1..

6

Derive : a tool that automatically reverse-engineers ins..:

, In: Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization,

Engler, Dawson R. ; Hsieh, Wilson C. - p. 12-22 , 2000

Link: https://dl.acm.org/doi/1..

7

tcc : a system for fast, flexible, and high-level dynami..:

, In: Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation,

Poletto, Massimiliano ; Engler, Dawson R. ; Kaashoek, M. Frans - p. 109-121 , 1997

Link: https://dl.acm.org/doi/1..

8

Application performance and flexibility on exokernel system:

, In: Proceedings of the sixteenth ACM symposium on Operating systems principles,

Kaashoek, M. Frans ; Engler, Dawson R. ; Ganger, Gregory R.... - p. 52-65 , 1997

Link: https://dl.acm.org/doi/1..

9

VCODE : a retargetable, extensible, very fast dynamic co..:

, In: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation,

Engler, Dawson R. - p. 160-170 , 1996

Link: https://dl.acm.org/doi/1..

10

DPF : fast, flexible message demultiplexing using dynami..:

, In: Conference proceedings on Applications, technologies, architectures, and protocols for computer communications,

Engler, Dawson R. ; Kaashoek, M. Frans - p. 53-59 , 1996

Link: https://dl.acm.org/doi/1..

11

Server operating systems:

, In: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications,

Kaashoek, M. Frans ; Engler, Dawson R. ; Ganger, Gregory R.. - p. 141-148 , 1996

Link: https://dl.acm.org/doi/1..

12

ASHs : Application-specific handlers for high-performanc..:

, In: Conference proceedings on Applications, technologies, architectures, and protocols for computer communications,

Wallach, Deborah A. ; Engler, Dawson R. ; Kaashoek, M. Frans - p. 40-52 , 1996

Link: https://dl.acm.org/doi/1..

13

C: a language for high-level, efficient, and machine-indepe..:

, In: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Engler, Dawson R. ; Hsieh, Wilson C. ; Kaashoek, M. Frans - p. 131-144 , 1996

Link: https://dl.acm.org/doi/1..

14

DCG : an efficient, retargetable dynamic code generation..:

, In: Proceedings of the sixth international conference on Architectural support for programming languages and operating systems,

Engler, Dawson R. ; Proebsting, Todd A. - p. 263-272 , 1994

Link: https://dl.acm.org/doi/1..

15

Contributors:

, In: Tissue Engineering,

Asnaghi, M. Adelaide ; Aerts, Jean-Marie ; Alakpa, Enateri V.... - p. xxv-xxx , 2015

Link: https://doi.org/10.1016/..