Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Veeam Data Platform v13.1
Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Design and Implementation of the Singhal token based mutual exclusion
[ Design and Implementation of the Singhal token based mutual exclusion algorithm in kernel-space of FreeBSD ]
| Data & Network Security Lab (DNSL)
| Room 501, Floor 5,
| Department of Computer Engineering
| Sharif University of Technology
| Azadi Ave., Tehran, Iran
Vahid Khodabakhshi <vkhodabakhshi@ce.sharif.edu>
Vahid Ranjbar <vranjbar@ce.sharif.edu>
Also see the Acknowledgement file
Please send bugs to our e-mail
Bean Sheet is an interpreted Java spreadsheet. At its core is Bean Shell, an open source Java interpreter. The potential of marrying a Java interpreter with a spreadsheet allows a single document to be a powerful application in its own right.
Universal PHP Framework. toKernel is a fully Object-Oriented extensible framework. By design, the framework's kernel is monolithic which brings a lot of advantages. It is NOT a loader for a mere collection of classes.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
Interactive PHP shell Create an interactive environment to debug php line by line. It enables you to execute php code as if it were a command line in a similar setting to bash and psh (perl shell).
Application framework for modularizing *nix applications into discretely-purposed components. Resourcerver binds a system of processes together with a local-machine server which facilitates and controls IPC. A primary focus is application security.
SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
CMage provides the ability to create an image of a filesystem on an IDE/SATA device and apply the image to a second hard drive of either IDE or SATA with a smaller, equal, or larger device size. CMage is run from a linux based liveCD on the terminal.
Zoidberg (a.k.a. zoid) provides a modular Perl shell written, configured, and operated entirely in Perl. It aspires to be a fully operational login shell with all the features one normally expects. !! RELEASES NO LONGER THROUGH SF !!
dev-env is a console based build environment. It aims at making the build process compiler and platform independent. It allows to compile/link/etc. your project(s) without modifications on all supported platforms and with all supported compilers.
The papaya utilities is a package of small scripts. These scripts are used for software development. The product of Steel Wheels Project will require this package.
Lexical, grammatical and syntactic analyzer of C÷÷.
cdd is the lexical, grammatical, and syntactic analyzer of the C÷÷ dialect. The latter is not a programming language, but a set of variations in the C language that cdd analyzes, converts to C code and compiles by calling to g++.