Treffer 1 - 20 von 360

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.

PROGRAMMING languages DATABASES COMPUTER software SYSTEMS programming (Com... COMPILERS (Computer prog...
Zeitschrift
Zu den Favoriten
3

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.

VIDEO display terminals COMPUTER software SYSTEMS programming (Com... JACKSON structured progr... STRUCTURED programming MICROPROGRAMMING
Zeitschrift
Zu den Favoriten
4

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

ARTIFICIAL intelligence SYSTEMS programming (Com...
Zeitschrift
Zu den Favoriten
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.

CONFERENCES & convention... SYSTEMS programming (Com... ARCHITECTURAL models STRUCTURAL frames
Fachzeitschrift
Zu den Favoriten
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
Zu den Favoriten
8

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
Zu den Favoriten
9

Constraint programming for type inference in flexible model-driven engineering
Matragkas, Nicholas ; Clarisó, Robert ; Kolovos, Dimitrios ; et al.
Recercat. Dipósit de la Recerca de Catalunya
instname
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)

constraint programming type inference disseny flexible inferència de tipus diseño bottom-up Programación de sistemas...
Fachzeitschrift
Zu den Favoriten
10

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
Zu den Favoriten
11

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.

COMPUTER programming PROGRAMMING languages SYSTEMS programming (Com... COMPILERS (Computer prog... PROGRAMMING software OPTIMIZING compilers
Fachzeitschrift
Zu den Favoriten
12

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.

PROGRAMMING languages FAULT tolerance (Enginee... SYSTEMS programming (Com... ADA 95 (Computer program...
Fachzeitschrift
Zu den Favoriten
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.

PROGRAMMING languages DATA protection COMPUTER network securit... COMPUTER programming man... COMPUTER systems SYSTEMS programming (Com...
Fachzeitschrift
Zu den Favoriten
14

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.

SYSTEMS programming (Com... IBM Systems Journal (Per...
Fachzeitschrift
Zu den Favoriten
15

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

REENGINEERING (Managemen... SYSTEMS programming (Com...
Zeitschrift
Zu den Favoriten
16

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.

COMPUTER software reusab... SYSTEMS programming (Com... UNITED States INTERNATIONAL Business M...
Fachzeitschrift
Zu den Favoriten
17

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.

EXPERT systems SYSTEMS programming (Com...
Fachzeitschrift
Zu den Favoriten
18

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

READ-only memory SYSTEMS programming (Com... METAL oxide semiconducto... SEMICONDUCTOR storage de... ELECTRIC network analysi...
Fachzeitschrift
Zu den Favoriten
19

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.

PROGRAMMING languages COMPUTER programming COMPUTER storage devices COMPUTER software COMPUTER science SYSTEMS programming (Com...
Zeitschrift
Zu den Favoriten
20

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

ONLINE data processing COMPUTER programmers ELECTRONIC data processi... INTERACTIVE computer sys... SYSTEMS programming (Com... EXTRAPOLATION
Zeitschrift
Zu den Favoriten

Filter