Search Results - "Systems programming (Computer science)"

Improving Automatic C-to-Rust Translation with Static Analysis.

Authors: Hong, Jaemin¹ jaemin.hong@kaist.ac.kr

Source: ICSE: International Conference on Software Engineering. 2023, p273-277. 5p.

Subjects: Systems programming (Computer science), Computer security vulnerabilities, Computer software developers, Application program interfaces, Software engineering

Securing UnSafe Rust Programs with XRust.

Authors: Peiming Liu Gang Zhao Huang, Jeff

Source: ICSE: International Conference on Software Engineering. 6/17/2020, p234-245. 12p.

Subjects: Systems programming (Computer science), Programming languages, Computer programming, Computer software, Automation

Maintainable process model driven online legal expert systems.

Authors: Dimyadi, Johannes Bookman, Sam Harvey, David et al.

Source: Artificial Intelligence & Law; Mar2019, Vol. 27 Issue 1, p93-111, 19p

A Differential Approach to Undefined Behavior Detection.

Authors: Xi Wang Zeldovich, Nickolai Kaashoek, M. Frans et al.

Source: Communications of the ACM. Mar2016, Vol. 59 Issue 3, p99-106. 8p. 6 Diagrams.

Subjects: Systems programming (Computer science), Programming languages, Compilers (Computer programs), Databases, Computer software

A Common Framework for Scripting Tutorials.

Authors: Erik Hjelmås, Erik Farup, Ivar

Source: Norsk Informatikkonferanse; 2011, Issue 21-23, p219-229, 11p

Embedded Systems Programming: Accessing Databases from Esterel.

Authors: White, David Lüttgen, Gerald

Source: EURASIP Journal on Embedded Systems. 1/7/2009, p1-17. 17p. 1 Black and White Photograph, 10 Diagrams.

Subjects: Embedded computer systems, Systems programming (Computer science), Electronic data processing, Electronic information resources, Information storage & retrieval systems, Relational databases

A Context Driven Architecture for Cognitive Radio Nodes.

Authors: P. Balamuralidhar Ramjee Prasad

Source: Wireless Personal Communications. May2008, Vol. 45 Issue 3, p423-434. 12p. 4 Diagrams, 1 Chart.

Subjects: Radio networks, Systems programming (Computer science), Computer networks, Radio transmitters & transmission

Embedded Program Specialization for Multiple Criteria Trade-offs.

Authors: Damaševičius, R. Štuikys, V. Toldinas, J.

Source: Electronics & Electrical Engineering. 2008, Issue 88, p9-14. 6p. 3 Diagrams, 2 Charts, 4 Graphs.

Subjects: Embedded computer systems, Systems programming (Computer science), Computer science, Energy consumption, Cell phones

ENGINEERING AGENT SYSTEMS: BEST OF 'FROM AGENT THEORY TO AGENT IMPLEMENTATION (AT2AI)-3'

Authors: Petta, Paolo Muller, Jorg P.

Source: Applied Artificial Intelligence. Oct2002, Vol. 16 Issue 9/10, p671. 6p.

Subjects: Conferences & conventions, Systems programming (Computer science), Architectural models, Structural frames

Efficient online cycle detection technique combining with Steensgaard points-to information.

Authors: Liu, Fei Li, Bixin Nasre, Rupesh

Source: Software: Practice & Experience; May2016, Vol. 46 Issue 5, p601-623, 23p

An Environment for Dataflow Program Development of Parallel Processing System --Harray.

Authors: Yamana, Hayato Kohdate, Jun Yasue, Toshiaki et al.

Source: Systems & Computers in Japan. 7/1/91, Vol. 22 Issue 8, p26-38. 13p.

Subjects: Data flow computing, Systems programming (Computer science), Debugging, Problem solving, Computer software

A Systematic Formulation of Dynamic Equations for Robotic Manipulators with Elastic Links.

Authors: Low, K. H.¹

Source: Journal of Robotic Systems. Jun87, Vol. 4 Issue 3, p435-456. 22p.

Subjects: Manipulators (Machinery), Systems programming (Computer science), Links & link-motion, Inertia (Mechanics), Orienting mechanisms (Manufacturing), Mechanical movements, Industrial robots

SYSTEMS PROGRAMMING WITH JSP: EXAMPLE--A VDU CONTROLLER.

Authors: Sibley, Edgar H. Sanden, Bo

Source: Communications of the ACM. Oct85, Vol. 28 Issue 10, p1059-1067. 9p. 9 Diagrams, 4 Charts.

Subjects: Systems programming (Computer science), Jackson structured programming, Video display terminals, Structured programming, Microprogramming, Computer software

Acm forum.

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

Subjects: Systems programming (Computer science), Artificial intelligence

A Service Computing Manifesto: The Next 10 Years.

Authors: BOUGUETTAYA, ATHMAN SINGH, MUNINDAR HUHNS, MICHAEL et al.

Source: Communications of the ACM; Apr2017, Vol. 60 Issue 4, p64-72, 9p, 1 Color Photograph, 2 Diagrams, 1 Chart

Using Opnet Modeller for the Delivery of the COPAR Service and Improved Availability on the Internet.

Authors: Seegobin, Rhea L. Hosein, Michael A.

Source: GSTF Journal on Computing; Apr2014, Vol. 3 Issue 4, p82-89, 8p

A RIDING FUZZY CONTROL SYSTEM FOR A MOUNTAIN AGRICULTURAL ROBOT.

Authors: Yuanjie Wang Fuzeng Yang Yu Zhou et al.

Source: International Journal on Smart Sensing & Intelligent Systems; Sep2013, Vol. 6 Issue 4, p1725-1744, 20p

Optimal state estimation in MAP event flows with unextendable dead time.

Authors: Gortsev, A. Nezhel'skaya, L. Solov'ev, A.

Source: Automation & Remote Control; Aug2012, Vol. 73 Issue 8, p1316-1326, 11p, 2 Diagrams, 5 Charts, 1 Graph

Optimization for simulation: LAD accelerator.

Authors: Lejeune, Miguel A. Margot, François

Source: Annals of Operations Research; Aug2011, Vol. 188 Issue 1, p285-305, 21p, 6 Diagrams, 13 Charts

Developing Creativity: Artificial Barriers in Artificial Intelligence.

Authors: Jennings, Kyle¹, jennings@berkeley.edu

Source: Minds & Machines; Nov2010, Vol. 20 Issue 4, p489-501, 13p