Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 1 - 20 of 593

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.

Book
Save to List
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

Conference
Save to List
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

Conference
Save to List
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

Conference
Save to List
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

Conference
Save to List
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

Academic journal
Save to List
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

Conference
Save to List
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

Academic journal
Save to List
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

Conference
Save to List
12

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

Assertion-based repair Error recovery Data structure errors Java programs Symbolic execution
Dissertation/ Thesis
Save to List
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.

Book
Save to List
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
Academic journal
Save to List
16

Data Structures and Program Design Using Java : A Self-Teaching Introduction
Malhotra, Dheeraj ; Malhotra, Neha. ; Malhotra, Dheeraj

E-Book
Save to List
18

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.

Book
Save to List
19

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

Conference
Save to List
20

Experience programming applets with Ada95
Kann, Charles W. ; Feldman, Michael B. ; Sibert, John
ACM SIGAda Ada Letters - Special issue: best of WAdaS'96. XVII(3):17-29

Academic journal
Save to List

Filter