Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 592

1

Objects, abstraction, data structures, and design using Java, version 5.0
Data structures.

Koffman, Elliot B. ; Wolfgang, Paul A. T. ; Koffman, Elliot B. ; et al.

Buch
2

Synthesizing data structure refinements from integrity constraints
Pailoor, Shankara ; Wang, Yuepeng ; Wang, Xinyu ; et al.
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :574-587

Konferenz
3

GOLD: a graph oriented language implemented using the eclipse Xtext framework
Sotelo, Alejandro ; Takahashi, Silvia
Proceedings of the on Eclipse Technology eXchange. :19-24

Konferenz
5

Detecting deadlock in programs with data-centric synchronization
Marino, Daniel ; Hammer, Christian ; Dolby, Julian ; et al.
2013 35th International Conference on Software Engineering (ICSE) Software Engineering (ICSE), 2013 35th International Conference on. :322-331 May, 2013

Konferenz
6

VYRD : verifYing concurrent programs by runtime refinement-violation detection
Elmas, Tayfun ; Tasiran, Serdar ; Qadeer, Shaz
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. :27-37

Konferenz
8

APINetworks Java. A Java approach to the efficient treatment of large-scale complex networks
Muñoz-Caro, Camelia ; Niño, Alfonso ; Reyes, Sebastián ; et al.
In Computer Physics Communications October 2016 207:549-552

Fachzeitschrift
9

Towards a software product line of trie-based collections
Steindorfer, Michael J. ; Vinju, Jurgen J.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :168-172

Konferenz
10

Using classic problems to teach Java framework design
Cunningham, H. Conrad ; Liu, Yi ; Zhang, Cuihua
In Science of Computer Programming 2006 59(1):147-169

Fachzeitschrift
11

Laminar : practical fine-grained decentralized information flow control
Roy, Indrajit ; Porter, Donald E. ; Bond, Michael D. ; et al.
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation. :63-74

Konferenz
12

Assertion-based repair of complex data structures
Elkarablieh, Bassem H.

Assertion-based repair Error recovery Data structure errors Java programs Symbolic execution
Dissertation
14

A Practical MHP Information Analysis for Concurrent Java Programs.
Eigenmann, Rudolf ; Zhiyuan Li ; Midkiff, Samuel P. ; et al.
Languages & Compilers for High Performance Computing. 2005, p194-208. 15p.

Buch
15

Transferring of information in the technical pictures as digital data to control program and doing optimization for profile cutting and drilling machine
Orak, Ilhami Muharrem ; Yildiz, Mustafa
Procedia Technology. Jan2012, Vol. 1, p505-513. 9p.

Knowledge transfer Data transmission system... Mathematical optimizatio... Digital image processing Cutting machines Databases
Fachzeitschrift
17

E-business & e-commerce : how to program
E-business and e-commerce

Deitel, Harvey M., 1945 ; Nieto, T. R. (Tem R.) ; Deitel, Paul J. ; et al.

Buch
18

Predictive log-synchronization
Shalev, Ori ; Shavit, Nir
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006. :305-315

Konferenz
20

Prefetch injection based on hardware monitoring and object metadata
Adl-Tabatabai, Ali-Reza ; Hudson, Richard L. ; Serrano, Mauricio J. ; et al.
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation. :267-276

Konferenz

Filter