Search Results for "computing" - Page 13

UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster. UP is expandable through the use of plug-ins, with regards to both types of computing resources and search algorithms, and the ability to change storage type is partly implemented.

This is an academic project to build a graph database, supporting multiple users, with fully functioned data query, data manipulation and indexing mechanism. It is running in a distributed client-server mode. This project is assigned to final-year project from group IT121B, Bachelor of Computing, University of Wollongong.

NodeCom is an open-source component framework for extremely constrained WSN. This project sourceforge is under construction. The code will be added soon. See our laboratory web page: http://domus.usherbrooke.ca/

GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. ...

Project provides a set of concurrent building blocks (Java & C/C++) that can be used to develop parallel/multi-threaded applications. Components are grouped into 4 categories: 1.Data Structures 2. Parallel Patterns 3.Parallel functions 4.Atomics and STM

[ 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

This project is aimed at providing (open) software to support pure virtual interface for Linux Kernel. All Linux networking functionality will be supported on these interfaces. For Release 1.1 1) Adds support for connectivity between the vnics of two different systems by way of creating overlays. (VXLAN style) 2) On a virtual environment it can either run on hypervisor or inside a VM (as applicable). - Dipjyoti Saikia (Developer/Admin) <dipjyoti.saikia@gmail.com>

TinyMe is a minimalist distribution of Linux aimed at making your computing experience as bloat and lag-free as possible. We do this for those of you who have old computers, like to mess around with small/fast systems, or just want a minimal environment.

HOOPLE is a portable collection of C++ source code, featuring thread-safe objects for collections and event processing, RPC-style plugin-based encrypted networking (CROMP / octopus), bookmark collection management utilities, and a lot of other cool stuff. This is the project page for HOOPLE version 1, which was retired on September 25 2010. The code supposedly still builds on both Linux (with gnu gcc) and on Windows (with ms visual studio). Most of the code from hoople1 has moved into...

This is a distributed index framework using Apache Hadoop, Apache Lucene and Apache Tika, to index large volume of data.

ChecksumValidation is a framework for validation of international bank accounts (IBAN), credit card numbers, german identity cards, german passports and for german bank accounts. Validation is performed by computing checksums. Checksums for german bank accounts are maintained and documented by www.bundesbank.de. In sum, ChecksumValidation implements round about 150 algorithms. It may freely be used under GNU GPLv3 licence (see below). ChecksumValidation is implemented in Microsoft .NET 2.0. It consists of: - ChecksumValidation: a class library (DLL) for in-process use - ChecksumSoapServer: a SOAP interface - ChecksumTcpServer: a TCP interface implementing a domain-specific language (DSL) for validation - ChecksumComServer: a COM interface - ChecksumClient: a test utility - ChecksumUnitTest: a 100% covering NUnit test - ChecksumUtility: a command-line tool for helper functions

We create open-source infrastructural code and provide technical documentation on Indian language computing issues. Our mailing lists provide fora where Indian language computing can be discussed.

APCO means Adaptive Parallel COmputing framework.

Helena is an explicit state model checker for high-level Petri nets.

Rapid deployment Kit to build Green Cloud Computing Environment, based on DRBL, DRBL-Virt, Xen, KVM, OpenNebula, libvirt, etc.

QuCoSi is a C++ library for simulating a quantum computer. The used qubits and gates are plain vectors and matrices that can be inspected and modified easily. Its emphasis lies on readability and ease of use.

value

FpgaC compiles a subset of the C language to net lists which can be imported into an FPGA vendors tool chains. C provides an excellent alternative to VHDL/Verilog for algorithmic expression of FPGA reconfigurable computing tasks. More info in wiki.

Pools of Virtual Boxes (POVB) aims to make it easy to deploy Linux Condor pools on Windows based machines using Virtual Box virtual machines.

repro is a Python package for automating reproducible research in scientific computing. It works in combination with SCons, a next-generation build tool (www.scons.org).

My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

A scheduling and resource management system for using a farm of servers running VMware virtualisation products as a computing cloud. Currently, only the VMware VIM 1.4 proxy is considered 'working'. Out of active development for the moment.

Tunguska is a ternary computer emulator. The goal is to provide a relatively easy-to-use platform, reminiscent of an early PC, for people who want to experience and experiment with ternary computing hands-on.

VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.

restSQL is an ultra-lightweight data access layer. It provides a simple REST-based HTTP or Java API to access updatable views. It executes in any standard JEE container and interoperates with multiple databases, currently MySQL and PostgreSQL.