Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
2012 34th International Conference on Software Engineering (ICSE), 2012, p.277-287
2012


End-to-end sequential consistency
2012 39th Annual International Symposium on Computer Architecture (ISCA), 2012, p.524-535
2012

IEEE MICRO, 2013-05, Vol.33 (3), p.96-104
2013


Open Access
Modular Statically Typed Multimethods
Information and computation, 2002-05, Vol.175 (1), p.76-118
2002
Link zum Volltext

Science of computer programming, 2005-03, Vol.55 (1), p.209-226
2005
Link zum Volltext

Open Access
Polymorphic predicate abstraction
ACM transactions on programming languages and systems, 2005-03, Vol.27 (2), p.314-343
2005
Link zum Volltext

Journal of computer and system sciences, 2003-02, Vol.66 (1), p.20-39
2003
Link zum Volltext


ACM transactions on programming languages and systems, 2004-09, Vol.26 (5), p.836-889
2004
Link zum Volltext

Open Access
Modular Statically Typed Multimethods
ECOOP’ 99 — Object-Oriented Programming, 1999, p.279-303
1999
Link zum Volltext



2012 IEEE 25th Computer Security Foundations Symposium, 2012, p.19-29
2012
Link zum Volltext


Session details: Language constructs
SIGPLAN notices, 2006-06, Vol.41 (6)
2006
Link zum Volltext

Language constructs
Conference on Programming Language Design and Implementation: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, 2006
2006
Link zum Volltext

Mechanism and Causality in Biology and Economics, p.125-145
Link zum Volltext

Practical predicate dispatch
SIGPLAN notices, 2004-10, Vol.39 (10), p.345-364
2004
Link zum Volltext

Information and computation, 2004-11, Vol.194 (2), p.203-241
2004
Link zum Volltext

Mechanism and Causality in Biology and Economics, p.147-163
Link zum Volltext

SIGPLAN notices, 2001-05, Vol.36 (5), p.203-213
2001
Link zum Volltext

2008 International Conference on Information Processing in Sensor Networks (ipsn 2008), 2008, p.271-282
2008

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n