Search

Your search keyword '"UNIX"' showing total 22,718 results
Start Over Descriptor "UNIX"
22,718 results on '"UNIX"'

1. Cyber Physical System Centred Protective Laboratory for Industries

Author

Kiran, Chitra, Rajesh Sharma, R., Sungheetha, Akey, Chinnaiyan, R., Murthy, Ramana, Divya, G., Haritha, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Rüdiger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Li, Yong, Series Editor, Liang, Qilian, Series Editor, Martín, Ferran, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Oneto, Luca, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Speidel, Joachim, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zamboni, Walter, Series Editor, Tan, Kay Chen, Series Editor, Chakravarthy, V. V. S. S. S, editor, Bhateja, Vikrant, editor, Anguera, Jaume, editor, Urooj, Shabana, editor, and Ghosh, Anumoy, editor

Published
2024
Full Text
View/download PDF

2. Foundations for programming and implementing effect handlers

Author

Hillerström, Daniel, Lindley, Sam, and Longley, John

Subjects
effect handlers, first-class control, row polymorphism, generalised continuations, continuation passing style, abstract machine semantics, typed macro expressiveness, asymptotic complexity, unix, effect handler oriented programming
Abstract

First-class control operators provide programmers with an expressive and efficient means for manipulating control through reification of the current control state as a first-class object, enabling programmers to implement their own computational effects and control idioms as shareable libraries. Effect handlers provide a particularly structured approach to programming with first-class control by naming control reifying operations and separating from their handling. This thesis is composed of three strands of work in which I develop operational foundations for programming and implementing effect handlers as well as exploring the expressive power of effect handlers. The first strand develops a fine-grain call-by-value core calculus of a statically typed programming language with a structural notion of effect types, as opposed to the nominal notion of effect types that dominates the literature. With the structural approach, effects need not be declared before use. The usual safety properties of statically typed programming are retained by making crucial use of row polymorphism to build and track effect signatures. The calculus features three forms of handlers: deep, shallow, and parameterised. They each offer a different approach to manipulate the control state of programs. Traditional deep handlers are defined by folds over computation trees, and are the original con-struct proposed by Plotkin and Pretnar. Shallow handlers are defined by case splits (rather than folds) over computation trees. Parameterised handlers are deep handlers extended with a state value that is threaded through the folds over computation trees. To demonstrate the usefulness of effects and handlers as a practical programming abstraction I implement the essence of a small UNIX-style operating system complete with multi-user environment, time-sharing, and file I/O. The second strand studies continuation passing style (CPS) and abstract machine semantics, which are foundational techniques that admit a unified basis for implementing deep, shallow, and parameterised effect handlers in the same environment. The CPS translation is obtained through a series of refinements of a basic first-order CPS translation for a fine-grain call-by-value language into an untyped language. Each refinement moves toward a more intensional representation of continuations eventually arriving at the notion of generalised continuation, which admit simultaneous support for deep, shallow, and parameterised handlers. The initial refinement adds support for deep handlers by representing stacks of continuations and handlers as a curried sequence of arguments. The image of the resulting translation is not properly tail-recursive, meaning some function application terms do not appear in tail position. To rectify this the CPS translation is refined once more to obtain an uncurried representation of stacks of continuations and handlers. Finally, the translation is made higher-order in order to contract administrative redexes at translation time. The generalised continuation representation is used to construct an abstract machine that provide simultaneous support for deep, shallow, and parameterised effect handlers. kinds of effect handlers. The third strand explores the expressiveness of effect handlers. First, I show that deep, shallow, and parameterised notions of handlers are interdefinable by way of typed macro-expressiveness, which provides a syntactic notion of expressiveness that affirms the existence of encodings between handlers, but it provides no information about the computational content of the encodings. Second, using the semantic notion of expressiveness I show that for a class of programs a programming language with first-class control (e.g. effect handlers) admits asymptotically faster implementations than possible in a language without first-class control.

Published
2022
Full Text
View/download PDF

3. Smart management for smart kiosks: Tam Hanna takes a look at how Ubuntu Frame harnesses Wayland's strengths to make smart display management more comfortable

Author

Hanna, Tarn

Subjects
Exhibitions -- Booths, Linux (Operating system), Unix, Linux (Operating system), UNIX, Science and technology
Abstract

One of the biggest benefits of the flexible, but sometimes cumbersome, display architecture of Linux-based operating systems is that the graphical application and the service responsible for the display and [...]

Published
2023

5. Free our SOFTWARE!

Subjects
Linux (Operating system), Unix, Linux (Operating system), UNIX, Science and technology
Abstract

Taking anything for granted is dangerous, so Jonni Bidwell and Mike Saunders revisit how the free software movement got started to help free us from proprietary tyranny! Without Richard Matthew [...]

Published
2023

6. BANK OF KOREA invites tenders for Bank of Korea Equipment Introduction Project to Replace Old Unix Servers and Expand Disk Devices

Subjects
File servers -- Maintenance and repair, Banks (Finance) -- Maintenance and repair, Computer storage device industry -- Maintenance and repair, Unix, UNIX, News, opinion and commentary
Abstract

BANK OF KOREA, South Korea has invited tenders for Bank of Korea Equipment Introduction Project to Replace Old Unix Servers and Expand Disk Devices. Tender Notice No: 20240728693-00 Deadline: July [...]

Published
2024

8. Methodology and Infrastructure for Teaching Operating Systems Courses for Large Number of University Students.

Author

Zemánek, Petr and Muzikář, Zdeněk

Subjects
KNOWLEDGE transfer, COMPUTER operating systems, COLLEGE students, AUTOMATION, LINUX operating systems
Abstract

The article shares experience with teaching operating systems courses (of various complexity) for large number (up to one thousand) students. The nature of operating systems requires specific methods of lab environment/setup, lab exercises development and design of knowledge tests and final exam requirements. Automation of teaching processes is needed while maintaining quality of knowledge transfer and protecting reputation of the University. The article covers our experience with teaching courses covering UNIX/LINUX basics, administration of UNIX/LINUX operating systems, Operating Systems (classical course) and LINUX Kernel Programming. We discuss infrastructure that we designed, and we have been successfully using for several years. [ABSTRACT FROM AUTHOR]

Published
2023

10. Pihome

Subjects
Unix, UNIX
Abstract

Project Showcases / PROJECT SHOWCASE Pihome Save money on energy bills using Raspberry Pi Pico? It’s more likely than you think. Rob Zwetsloot takes a reading. MAKER Thomas Ackermann A [...]

Published
2023

11. Unix-India Launches Matrix Air Buds (UX-W5) with Up to 40 Hours of HD Audio and Advanced ANC Technology

Subjects
Consumer electronics -- Marketing, Electronics industry -- Marketing, Electronic commerce -- Computer programs, Unix, Company marketing practices, UNIX, Electronics industry, Electronic commerce software, Computers
Abstract

Byline: Team TechTree Unix, a leading consumer electronics and mobile accessories brand in India, announces the launch of its latest TWS 'Matrix Air Buds' (UX-W5). Designed to deliver high-quality audio [...]

Published
2024

12. Unix Launches 10000 mAh Magnetic Wireless power bank 'UX-1533' with Mag Safe Technology, priced at Rs. 2,399/-

Subjects
Consumer electronics -- Marketing, Electronics industry -- Marketing, Unix, Company marketing practices, UNIX, Electronics industry, Computers
Abstract

Byline: Team TechTree Unix, one of the leading home-grown consumer electronics and mobile accessories brands, introduces its newest 'UX-1533' 10,000mAh Wireless Power Bank. The multipurpose power bank with Type-C and [...]

Published
2024

13. Get to grips with Solaris: Linux veteran Michael Reed wonders if he can pass for a native in the weird and wonderful land of Solaris-derived Openlndiana

Author

Reed, Michael

Subjects
Oracle America Inc., Linux (Operating system), Computer industry, Unix, Linux (Operating system), UNIX, Microcomputer industry, Computer industry, Science and technology
Abstract

Openlndiana is an operating system that aims to recreate the Solaris operating system. It uses some of the same source code as Solaris mixed with modern open source alternatives. Solaris [...]

Published
2022

19. Inhibiting crypto‐ransomware on windows platforms through a honeyfile‐based approach with R‐Locker

Author

José Antonio Gómez‐Hernández, Raúl Sánchez‐Fernández, and Pedro García‐Teodoro

Subjects
Unix, invasive software, computer crime, cryptography, Microsoft Windows (operating systems), Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
Abstract

Abstract After several years, crypto‐ransomware attacks still constitute a principal threat for individuals and organisations worldwide. Despite the fact that a number of solutions are deployed to fight against this plague, one main challenge is that of early reaction, as merely detecting its occurrence can be useless to avoid the pernicious effects of the malware. With this aim, the authors introduced in a previous work a novel anti‐ransomware tool for Unix platforms named R‐Locker. The proposal is supported on a honeyfile‐based approach, where ‘infinite’ trap files are disseminated around the target filesystem for early detection and to effectively block the ransomware action. The authors extend here the tool with three main new contributions. First, R‐Locker is migrated to Windows platforms, where specific differences exist regarding FIFO handling. Second, the global management of the honeyfiles around the target filesystem is now improved to maximise protection. Finally, blocking suspicious ransomware is (semi)automated through the dynamic use of white‐/black‐lists. As in the original work for Unix systems, the new Windows version of R‐Locker shows high effectivity and efficiency in thwarting ransomware action.

Published
2022
Full Text
View/download PDF

20. Acucobol Unix And Linux License Renewal And Software Maintenance Support

Subjects
Linux (Operating system), Unix, Linux (Operating system), UNIX, Business, international
Abstract

Sources sought (original): acucobol unix and linux license renewal and software maintenance support there is a need for a firm, fixed price (ffp) for enterprise license renewal and software maintenance [...]

Published
2024

21. UNIX Launches 'Made in India' Smartwatches - Storm & Ember, Featuring AMOLED Display and Hindi Language Support

Subjects
Amazon.in -- Marketing, Consumer electronics industry -- Marketing, Mail-order industry -- Marketing, Consumer electronics -- Marketing, Unix, Consumer electronics industry, Company marketing practices, UNIX, Computers
Abstract

Byline: Team TechTree UNIX, a rapidly growing brand in India's mobile accessories and consumer electronics sector, proudly unveils its latest 'Made in India' smartwatches - Storm & Ember. These budget-friendly [...]

Published
2024

22. Unix Launches Two Made in India Smartwatches, 'Breeze' and 'Hydra' Featuring BT Calling and Hindi Language Support

Subjects
Consumer electronics -- Marketing, Electronic commerce -- Computer programs, Unix, Company marketing practices, UNIX, Electronic commerce software, Computers
Abstract

Byline: Team TechTree Unix, one of the fastest-growing mobile accessories and consumer electronics brands, introduces 'Made in India' smartwatches -- Breeze and Hydra, featuring BT Calling and Hindi language support, [...]

Published
2024

23. 907-u140-24/39 Half Masks, Unix Filters

Subjects
Unix, UNIX, Business, international
Abstract

Small purchase:907-u140-24/39 half masks, unix filters. Initial (maximum) contract price in Russian rubles: 1,976,784.00 Major organization: PUBLIC JOINT STOCK COMPANY NOVOSIBIRSK CHEMICAL CONCENTRATES PLANT Address: 630010, Novosibirsk, st. B. Khmelnitsky [...]

Published
2024

24. Unix Introduces UX-111 Aerobeat TWS on Flipkart India

Subjects
Unix, UNIX, Computers
Abstract

Byline: Team TechTree Unix, a prominent player in the Mobile Accessories industry, proudly announces the launch of its latest, the UX-111 AeroBeat True Wireless Stereo (TWS) earbuds, now available on [...]

Published
2024

25. Discover the UNIX(UNIX Gaming) Listing on XT.COM

Subjects
Unix, UNIX, Banking, finance and accounting industries, Business
Abstract

Singapore , March 16, 2024 (GLOBE NEWSWIRE) -- XT.COM, the world's first socially infused trading platform, is thrilled to announce the listing of UNIX(UNIX Gaming) on its platform in the [...]

Published
2024

26. DOUG MCILROY '53: APPLIED PHYSICIST TO PROGRAMMING PIONEER

Subjects
Alcatel-Lucent Bell Labs -- Officials and employees, Telecommunications equipment industry -- Officials and employees, Physicists, Engineers, Computer science, Unix, UNIX, Telecommunications equipment industry, News, opinion and commentary
Abstract

ITHACA, NY -- The following information was released by Cornell University: By Diane Tessaglia-Hymes March 15, 2024 Nearly everyone has benefitted from the work that M. Douglas McIlroy '53 accomplished [...]

Published
2024

27. Purchase Of Sco Unix, Open Otp And Vmware Licenses

Subjects
Unix, UNIX, Business, international
Abstract

Tenders are invited for: purchase of sco unix, open otp and vmware licenses purchase of sco unix, open otp and vmware licenses deadline for receipt of offers: 15.03.2024 10:00 Major [...]

Published
2024

28. How EUNET Hacked European Digital Networks and Disappeared.

Subjects
*COMPUTER networks, *COMPUTER hacking, *INFRASTRUCTURE (Economics), *PARTICIPATORY culture, *INFORMATION economy, *KNOWLEDGE transfer, *CYBERTERRORISM, *FOLKLORE
Abstract

This is the story of how Unix users hacked the European data networks competition in the 1980s, by using and appropriating common resources for their own experimental and operational needs while planting the seeds of participatory digital culture, both within and outside of the European Union's tech policies frame, both in prominent roles and behind the scenes of the "standards wars". I analyze how they were acknowledged among international computer networks, focusing on EUNET (1982–1992), a pioneering Internet provider in Europe. I show that Unix culture, beyond technical arguments, was reframed through their institutional relationships, when EUNET were courted by the EU tech programs to help develop a digital infrastructure for the knowledge sector. Eventually, the organization contributed but also profited from this alliance, before turning towards the new business of computerized telecom networks, illustrating the transfers between the knowledge institutions and the knowledge economy. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

30. Web Frameworks Metrics and Benchmarks for Data Handling and Visualization

Author

Gazis, Alexandros, Katsiri, Eleftheria, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Disser, Yann, editor, and Verykios, Vassilios S., editor

Published
2019
Full Text
View/download PDF

31. FUJITSU ASIA PTE LTD secures contract for Q23a-00392_ITI - Purchase of Unix Servers Maintenance and Software Licenses for Institute of Technical EducationLOADING

Subjects
File servers, Computer software industry -- Contracts, Unix, UNIX, Contract agreement, News, opinion and commentary
Abstract

Singapore based FUJITSU ASIA PTE LTD has secured contract from Institute of Technical Education for Q23a-00392_ITI - Purchase of Unix Servers Maintenance and Software Licenses for Institute of Technical EducationLOADING. [...]

Published
2023

32. The real "poor man's Arpanet"? A conversation about Unix networks with Kilnam Chon, godfather of the Asian Internet.

Author

Paloque-Bergès, Camille

Subjects
*ARPANET (Computer network), *HISTORY of the Internet, *USENET (Computer network), *TECHNOLOGICAL innovations, *PUBLIC sphere
Abstract

Chon is an archetypal figure of Internet pioneer – and more specifically of "Global connector", as he is acknowledged in the Internet Hall of Fame. He is a computer scientist who, thanks to an exemplary international academic trajectory and good socio-professional and political connections, got an early taste of Internet technologies. He played a leading role when South Korea joined the global race in technological innovation, and is generally considered key to the entrance of the Internet on the Asian continent. I wanted to discuss with Chon about the hypothesis that himself and his peers from South Korea and Asia got a kickstart from Unix culture and did initially follow UUCP routes, in close connection with their Internet pioneering. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

36. This 45 year-old Unix tool is finally getting an upgrade

Author

Hale, Craig

Subjects
Unix, UNIX, Science and technology
Abstract

Byline: Craig Hale New AWK update was almost half a century in the making. AWK, a software platform first introduced in 1977, has finally received a long-awaited update almost half [...]

Published
2022

37. OCF LIMITED secures contract for Patch management (Remediation work) Unix

Subjects
Unix, Public contracts, UNIX, Contract agreement, Government contract, News, opinion and commentary
Abstract

United Kingdom based OCF LIMITED has secured contract from UK Health Security Agency for Patch management (Remediation work) Unix. The value of the contract is worth 165000 GBP. Copyright © [...]

Published
2023

39. Supply Of 48 Port Ip Dslam As Per Specification Multi Gigabit Support, Ig Sfp Port (up Link), Console Port, Managed Protocol Cli Telnet, Web Based Gui Snmp Mib Ii V1|v2 With Unix Syslog Basic Layer 3 Protocol: Static Routing Rip I|Rip Ii Igmp Vi, V2 Or V

Subjects
Unix -- Analysis, UNIX, Business, international
Abstract

Tenders are invited for Supply of 48 port ip dslam as per specification multi gigabit support, ig sfp port (up link), console port, managed protocol cli telnet, web based gui [...]

Published
2023

40. Software For Transferring Data From Unix Databases, Jn 0034|23

Subjects
Employment services, Unix, UNIX, Business, international
Abstract

Tenders are invited for software for transferring data from unix databases, jn 0034/23 Estimated value: Deadline for submission: 14.11.2023 12:00:00 Major organization : NATIONAL EMPLOYMENT SERVICE Address : NES, Directorate, [...]

Published
2023

41. Dull Chrome

Author

Biddles, Bob

Subjects
Web browsers, Unix, Web browser, UNIX, Science and technology
Abstract

I give up. I've been using computers since the late '60s, when I would program cards for the fledgling Midland Bank computers, then came programming games for my kids on [...]

Published
2023

42. INTRODUCTION

Subjects
Unix, UNIX
Abstract

The file and directory structure you traverse so effortlessly is all a metaphor. Behind the scenes, Linux and Unix systems sometimes use links to connect data from different folders. But [...]

Published
2022

43. Delegating responsibility in digital systems: horton's "who done it?"

Author

Miller, Mark S., Donnelley, Jed, and Karp, Alan H.

Subjects
General and miscellaneous//mathematics, computing, and information science, computer security, access control, delegation, responsibility, capability, operating system, network, unix, windows
Published
2008

44. UNIX

Author

Colhoun, O., Gressner, Axel M., editor, and Arndt, Torsten, editor

Published
2019
Full Text
View/download PDF

46. Supply Of Unix5000 Full Face Mask (q3) Qty : 1

Subjects
Unix, UNIX, Business, international
Abstract

Tenders are invited for Supply of Unix5000 Full Face Mask (q3) Qty : 1 Tender Category : Goods OpeningDate : Aug 3 2023 12:00AM QTY : 1.00 Major organization : [...]

Published
2023

47. UniXperts Announces Dates for Global Education Fair for Five Cities in India

Subjects
Education -- India -- Japan, Unix, UNIX, Business, international
Abstract

Gurgaon, July 10 -- July 2023 will bear testimony to the amalgamation of enthusiasm, learning, guidance, and mentorship of thousands of study abroad-aspirants by reputed global universities across five major [...]

Published
2023

50. Competitive Selection For The Supply Of Filters Unix 531 A1b1e1k1 For A Filtering Respirator (half Mask Made Of Insulating Materials) Or Equivalents, Pre-filters (anti-aerosol Filters) Unix P3 Or Equivalents, Unix Pre-filter Holders Or Equivalents In 2023

Subjects
Unix, UNIX, Business, international
Abstract

Tenders are invited for competitive selection for the supply of filters unix 531 a1b1e1k1 for a filtering respirator (half mask made of insulating materials) or equivalents, pre-filters (anti-aerosol filters) unix [...]

Published
2023

Catalog

Books, media, physical & digital resources
See catalog results