Showing 1 - 20 of 85

1

JavaScript Language Design and Implementation in Tandem.
Ryu, Sukyoung ; Park, Jihyeok
Communications of the ACM. May2024, Vol. 67 Issue 5, p86-95. 10p.

Computer specifications Open source software JavaScript programming l... Conformance testing Debugging
Journal
2

Translation of Prenatal Medical Conduct in Terms of Computer Specifications
Ruiz, Evangelina ; Mañosa, Javier ; Rey, Grazzia ; et al.
Advances in Bioengineering and Clinical Engineering 2025 : Proceedings of the XXV Argentinian Congress of Bioengineering (SABI 2025), the XIV Clinical Engineering Conference, and the III Latin American Conference on Clinical Engineering (CLIC), October 14-17, 2025, Mar del Plata, Argentina. 136:1542-1551

eBook
3

How Amazon Web Services Uses Formal Methods.
NEWCOMBE, CHRIS ; RATH, TIM ; FAN ZHANG ; et al.
Communications of the ACM. Apr2015, Vol. 58 Issue 4, p66-73. 8p. 1 Diagram, 1 Chart.

Computer specifications Algorithms Distributed computing Information technology s... Algorithm software Distributed operating sy...
Journal
4

The Invisible Cage: Workers' Reactivity to Opaque Algorithmic Evaluations.
Rahman, Hatim A.
Administrative Science Quarterly; Dec2021, Vol. 66 Issue 4, p945-988, 44p, 1 Black and White Photograph, 1 Illustration, 2 Diagrams, 2 Charts

EMPLOYEES REACTIVITY-selectivity p... EVALUATION methodology ALGORITHMS COMPUTER specifications RECOGNITION (Psychology)
Academic journal
5

Introducing The Computer of 2010.
CROSBY, KIP
Forbes. 8/21/2000 ASAP, p87-87. 1p.

Computers Computer specifications Optical communications Optoelectronics Apple computers Frog Design Inc.
Journal
6

Who Builds a House without Drawing Blueprints?
Lamport, Leslie
Communications of the ACM. Apr2015, Vol. 58 Issue 4, p38-41. 4p. 1 Color Photograph, 1 Diagram.

Computer programming Computer specifications Mathematics Software requirements sp... Mathematical notation Code review (Computer sc...
Journal
7

WEB-BASED EXPERT SYSTEM APPLICATION TO RECOMMEND COMPUTER SPECIFICATIONS FOR GAMING USING BACKWARD CHAINING INFERENCE METHOD
Gottfried Christophorus Prasetyadi ; Mahfudin Mahfudin
Jurnal Sistem Informasi, Vol 13, Iss 2 (2017)

expert system gaming computer specifications backward chaining Information technology T58.5-58.64
Academic journal
8

Web-based Expert System Application to Recommend Computer Specifications for Gaming Using Backward Chaining Inference Method
Prasetyadi, G. C. (Gottfried) ; Mahfudin, M. (Mahfudin)
Jurnal Sistem Informasi

Indonesia backward chaining computer specifications gaming expert system
Academic journal
9

BEYOND BIOS: EXPLORING THE MANY DIMENSIONS OF THE UNIFIED EXTENSIBLE FIRMWARE INTERFACE.
Doran, Mark ; Zimmer, Vincent J. ; Rothman, Michael A.
Intel Technology Journal. 2011, Vol. 15 Issue 1, p8-21. 14p. 8 Diagrams.

Computer specifications C (Computer program lang... Computer operating syste... Computer firmware Itanium (Microprocessor)
Academic journal
10

Creating TTCN-3 Test Suitte from CPN Specification.
Babac, Marina Bagic ; Jevtic, Dragan
Journal of Information & Organizational Sciences. 2013, Vol. 37 Issue 1, p1-13. 13p. 15 Diagrams.

Computer software develo... Software engineering Computer software Computer software testin... Computer specifications Computer network protoco...
Academic journal
11

Looking Back and Looking Forward: Power, Performance, and Upheaval.
Communications of the ACM; Jul2012, Vol. 55 Issue 7, p105-114, 10p, 2 Charts, 10 Graphs

COMPUTER architecture PERSONAL computers COMPUTER science researc... PROGRAMMING languages COMPUTER specifications COMPUTER performance
Journal
12

Chillblast Fusion Titanium.
Computer Act!ve. 7/4/2018, Issue 531, p23-23. 1p. 3 Color Photographs.

Personal computers Personal computer specif... Chillblast (Company)
Journal
13

A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database.
Seung-Yong Yoon ; Hirohisa Seki
Journal of Advanced Computational Intelligence & Intelligent Informatics; Sep2019, Vol. 23 Issue 5, p956-961, 6p

PARALLEL algorithms DATA mining SEQUENTIAL pattern minin... RECURSIVE sequences (Mat... COMPUTER specifications SOFTWARE verification
Academic journal
14

Bringing home the computer.
Kindel, Stephen ; Field, Anne
Forbes; 8/2/1982, Vol. 130 Issue 3, p61-68, 6p

UNITED States PERSONAL computers PERSONAL computer specif... PERSONAL computer softwa... PROGRAMMING languages
Journal
15

Specification, composition, and placement of network services with flexible structures.
Dräxler, Sevil ; Karl, Holger
International Journal of Network Management; Mar/Apr2017, Vol. 27 Issue 2, pn/a-N.PAG, 16p

COMPUTER specifications COMPUTER network resourc... VIRTUAL machine systems PROGRAM transformation VIRTUAL networks
Academic journal
16

THE RESEARCH ON CALIBRATION TECHNOLOGY OF DIGITAL-INPUT MERGING UNIT WITH INTERPOLATION.
Qian-Zhu Xiong ; Hao-Liang Hu ; Den-Gyun Li ; et al.
Energy & Mechanical Engineering - Proceedings of 2015 International Conference; 2016, p1224-1230, 7p

ELECTRONIC transformers CALIBRATION PERSONAL computer specif... HUMAN-machine systems EQUIPMENT & supplies
Conference
17

Testing for linearizability.
Lowe, Gavin
Concurrency & Computation: Practice & Experience; 2/25/2017, Vol. 29 Issue 4, pn/a-N.PAG, 22p

DATA types (Computer sci... COMPUTER multitasking COMPUTER software correc... ALGORITHMS COMPUTER specifications
Academic journal
18

Parameterized verification.
Abdulla, Parosh ; Delzanno, Giorgio
International Journal on Software Tools for Technology Transfer; Oct2016, Vol. 18 Issue 5, p469-473, 5p

VERIFICATION of computer... PARAMETERIZATION COMPUTER software correc... COMPUTER specifications MACHINE theory HARDWARE design & constr...
Academic journal
19

Jmol SMILES and Jmol SMARTS: specifications and applications.
Hanson, Robert M.
Journal of Cheminformatics; 9/26/2016, Vol. 8, p1-20, 20p

JAVA programming languag... JAVASCRIPT programming l... COMPUTER specifications COMPUTER operating syste... APPLICATION software THREE-dimensional displa...
Academic journal
20

A unified integration and component testing approach from deterministic stream X-machine specifications.
Ipate, Florentin ; Dranidis, Dimitris
Formal Aspects of Computing; Mar2016, Vol. 28 Issue 1, p1-20, 20p

FINITE state machines COMPUTER software correc... INFORMATION storage & re... COMPUTER specifications ROBOTS
Academic journal

Filter