• Suche: "SYSTEMS programming (Computer science)"

Treffer 1 - 20 von 335

1

A Differential Approach to Undefined Behavior Detection.
Xi Wang ; Zeldovich, Nickolai ; Kaashoek, M. Frans ; et al.
Communications of the ACM. Mar2016, Vol. 59 Issue 3, p99-106. 8p. 6 Diagrams.

Zeitschrift
Merkliste
2

SYSTEMS PROGRAMMING WITH JSP: EXAMPLE--A VDU CONTROLLER.
Sibley, Edgar H. ; Sanden, Bo
Communications of the ACM. Oct85, Vol. 28 Issue 10, p1059-1067. 9p. 9 Diagrams, 4 Charts.

Zeitschrift
Merkliste
3

Acm forum.
Communications of the ACM. Feb1976, Vol. 19 Issue 2, p105-108. 4p.

Zeitschrift
Merkliste
4

Program Transformations Using Temporal Logic Side Conditions.
KALVALA, SARA ; WARBURTON, RICHARD ; LACEY, DAVID
ACM Transactions on Programming Languages & Systems. May2009, Vol. 31 Issue 4, p14:1-14:48. 48p. 25 Diagrams, 2 Charts.

Fachzeitschrift
Merkliste
5

ENGINEERING AGENT SYSTEMS: BEST OF 'FROM AGENT THEORY TO AGENT IMPLEMENTATION (AT2AI)-3'
Petta, Paolo ; Muller, Jorg P.
Applied Artificial Intelligence. Oct2002, Vol. 16 Issue 9/10, p671. 6p.

Fachzeitschrift
Merkliste
6

Improving Automatic C-to-Rust Translation with Static Analysis.
Hong, Jaemin
ICSE: International Conference on Software Engineering; 2023, p273-277, 5p

SYSTEMS programming (Com... COMPUTER security vulner... COMPUTER software develo... APPLICATION program inte... SOFTWARE engineering
Konferenz
Merkliste
7

A Service Computing Manifesto: The Next 10 Years.
BOUGUETTAYA, ATHMAN ; SINGH, MUNINDAR ; HUHNS, MICHAEL ; et al.
Communications of the ACM; Apr2017, Vol. 60 Issue 4, p64-72, 9p, 1 Color Photograph, 2 Diagrams, 1 Chart

COMPUTER programming WEB services SERVICE industries COMPUTER science researc... SYSTEMS programming (Com...
Zeitschrift
Merkliste
8

Securing UnSafe Rust Programs with XRust.
Peiming Liu ; Gang Zhao ; Huang, Jeff
ICSE: International Conference on Software Engineering; 6/17/2020, p234-245, 12p

SYSTEMS programming (Com... PROGRAMMING languages COMPUTER programming COMPUTER software AUTOMATION
Konferenz
Merkliste
9

Leaking Space.
MITCHELL, NEIL
Communications of the ACM. Nov2013, Vol. 56 Issue 11, p44-52. 9p. 1 Color Photograph, 2 Diagrams, 7 Charts, 1 Graph.

Zeitschrift
Merkliste
10

Reengineering the contract change process.
Phillips, Bill
Program Manager. May/Jun98, Vol. 27 Issue 3, p74. 5p. 1 Black and White Photograph, 2 Diagrams.

Zeitschrift
Merkliste
11

NIL: A high-level language for distributed systems programming.
Parr, Francis N. ; Strom, Robert E.
IBM Systems Journal. 1999, Vol. 38 Issue 2/3, p181. 17p. 15 Color Photographs, 1 Diagram.

Fachzeitschrift
Merkliste
12

Software Reuse through Building Blocks.
Lenz, Manfred ; Schmid, Hans Albrecht ; Wolf, Peter F.
IEEE Software. Jul87, Vol. 4 Issue 4, p34. 9p. 3 Black and White Photographs, 2 Diagrams.

Fachzeitschrift
Merkliste
13

Making Pointers Safe in System Programming Languages.
Lomet, David B.
IEEE Transactions on Software Engineering. Jan85, Vol. 11 Issue 1, p87-96. 10p. 1 Color Photograph, 5 Diagrams.

Fachzeitschrift
Merkliste
14

An Integrated CAPP System for Parts Machined on Single Spindle Swiss-type Automatics.
Shan, X.H. ; Nee, A.Y.C. ; Poo, A.N.
Computers in Industry. Jul90, Vol. 14 Issue 4, p281. 11p. 7 Black and White Photographs, 8 Diagrams, 2 Charts.

Fachzeitschrift
Merkliste
15

design of a read-only-memory programmer.
Mars, P. ; Adamson, B.J.
International Journal of Electronics. Jul77, Vol. 43 Issue 1, p1. 18p.

Fachzeitschrift
Merkliste
16

A study of atomic action schemes intended for standard Ada.
Romanovsky, A.
Journal of Systems & Software. Oct98, Vol. 43 Issue 1, p29. 16p. 2 Diagrams, 2 Charts.

Fachzeitschrift
Merkliste
17

How Do You Tune a Data Warehouse?
Inmon, Bill
DM Review. Jan2006, Vol. 16 Issue 1, p48-53. 2p.

Zeitschrift
Merkliste
18

Reentrancy in Protocol Stacks.
Sridhar, T.
Embedded Systems Programming. Nov2001, Vol. 14 Issue 11, p41. 7p. 6 Diagrams.

Zeitschrift
Merkliste
19

An Introduction to Esterel.
Palshikar, Girish Keshav
Embedded Systems Programming. Nov2001, Vol. 14 Issue 11, p60. 8p. 6 Diagrams.

Zeitschrift
Merkliste
20

Training the techies.
Andrew S., Hubbard
Mortgage Banking. Dec97, Vol. 58 Issue 3, p99. 2p.

Zeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter