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...
SIGPLAN notices, 2014-12, Vol.49 (10), p.453-472
2014
Link zum Volltext

Thread-local heaps for Java
SIGPLAN notices, 2003-02, Vol.38 (2 supplement), p.76-87
2003
Link zum Volltext

ACM computing surveys, 2010-11, Vol.43 (1), p.1-41
2010
Link zum Volltext

Mobile networks and applications, 2020-08, Vol.25 (4), p.1330-1337
2020
Link zum Volltext

ACM transactions on software engineering and methodology, 2019-04, Vol.28 (2), p.1-50
2019
Link zum Volltext

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.317-328
2018

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014, p.275-286
2014
Link zum Volltext

Journal of the ACM, 1999-09, Vol.46 (5), p.604-632
1999
Link zum Volltext

ACM transactions on intelligent systems and technology, 2013-12, Vol.5 (1), p.1-34
2013
Link zum Volltext

2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.151-160
2008

Proceedings of the 36th International Conference on Software Engineering, 2014, p.779-790
2014
Link zum Volltext

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.266-277
2017

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.712-723
2017

Proceedings of the 2021 International Conference on Management of Data, 2021, p.2063-2075
2021
Link zum Volltext

Open Access
Refactoring using type constraints
ACM transactions on programming languages and systems, 2011-04, Vol.33 (3), p.1-47
2011
Link zum Volltext

Proceedings of the 36th International Conference on Software Engineering, 2014, p.653-663
2014
Link zum Volltext


ACM transactions on architecture and code optimization, 2017-09, Vol.14 (3), p.1-26
2017
Link zum Volltext

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.82-93
2017

Multi-valued symbolic model-checking
ACM transactions on software engineering and methodology, 2003-10, Vol.12 (4), p.371-408
2003
Link zum Volltext

29th International Conference on Software Engineering (ICSE'07), 2007, p.437-446
2007

Proceedings of the 21st ACM international conference on Information and knowledge management, 2012, p.55-64
2012
Link zum Volltext

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.223-232
2011

2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.145-154
2010

Proceedings of the 2013 conference on Internet measurement conference, 2013, p.291-304
2013
Link zum Volltext
Aktive Filter
ThemaLife Sciences & Biomedicine
KollektionACM Digital Library
SpracheJapanisch
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n