vj tool
Sponsored Links
Sponsored Links
Secleted [ 0 ] software to compare
Results 1 - 15 of about 192
GRF Tool 1.2.0
GRF Tool is the worlds first open source application for extracting GRF archives. more>>
GRF Tool is the worlds first open source application for extracting GRF archives. It aims to be a GRF extractor that does not suck.
Main features:
- A userfriendly and usable interface!
- Very fast loading. A 650 MB GRF archive is loaded in less than 2 seconds *.
- Very fast extraction. You can also abort the extraction process at any time.
- Supports previewing of text files and bitmap images.
- Properly supports Korean text encoding.
- The integrated search bar allows you to find the files youre looking for in no time.
- Works on both Windows and Linux. This is the first GRF extractor that supports Linux!
Version restrictions:
- Version 1.2 of GRF Tool aims to be a program that does one thing, and does it very well: to view and to extract GRF archives. It cannot repack GRF archives. However, thats planned for future releases.
Enhancements:
- Sprite preview support in the Linux/GTK frontend.
- Some bug fixes in the Win32 frontend. This probably solves the error messages that some people get while extracting files.
- Improved GRF file adding support in libgrf.
- Added a pkg-config entry for Linux, so applications can easily use libgrf.
- A Software Development Kit (SDK) for Win32 is now available, making it easier for Win32 software developers to use libgrf.
<<lessMain features:
- A userfriendly and usable interface!
- Very fast loading. A 650 MB GRF archive is loaded in less than 2 seconds *.
- Very fast extraction. You can also abort the extraction process at any time.
- Supports previewing of text files and bitmap images.
- Properly supports Korean text encoding.
- The integrated search bar allows you to find the files youre looking for in no time.
- Works on both Windows and Linux. This is the first GRF extractor that supports Linux!
Version restrictions:
- Version 1.2 of GRF Tool aims to be a program that does one thing, and does it very well: to view and to extract GRF archives. It cannot repack GRF archives. However, thats planned for future releases.
Enhancements:
- Sprite preview support in the Linux/GTK frontend.
- Some bug fixes in the Win32 frontend. This probably solves the error messages that some people get while extracting files.
- Improved GRF file adding support in libgrf.
- Added a pkg-config entry for Linux, so applications can easily use libgrf.
- A Software Development Kit (SDK) for Win32 is now available, making it easier for Win32 software developers to use libgrf.
Download (0.12MB)
Added: 2005-10-07 License: GPL (GNU General Public License) Price:
1622 downloads
Sudoku Tool 1.0
Sudoku Tool is a sudoku game that helps you to solve sudoku puzzles. more>>
Sudoku Tool is a sudoku game that helps you to solve sudoku puzzles. Sudoku Tool can generate puzzles randomly or puzzles can be entered manually.
Some of the features include random puzzle generation, pencil marks, and the ability to save games.
Manual Setup:
The game starts in initialization mode. In this mode, you are setting up the a puzzle that you got from a newspaper, online, ... You are manually setting up the puzzle.
To select a location, click a square with the left mouse button and type in the number you want to place 1-9, or 0 or space to remove a value you placed there previously. You can also change other values by simply typing a new number.
When you have the puzzle set up the way you want, click the Start Game button to start playing.
Random Game:
To have a game randomly generated for you, click the Setup New Game button. A new window pops up asking you to select either "Manual" or "Random". Select "random" and a new game will appear.
To build, use:
make -f Makefile.[system]
<<lessSome of the features include random puzzle generation, pencil marks, and the ability to save games.
Manual Setup:
The game starts in initialization mode. In this mode, you are setting up the a puzzle that you got from a newspaper, online, ... You are manually setting up the puzzle.
To select a location, click a square with the left mouse button and type in the number you want to place 1-9, or 0 or space to remove a value you placed there previously. You can also change other values by simply typing a new number.
When you have the puzzle set up the way you want, click the Start Game button to start playing.
Random Game:
To have a game randomly generated for you, click the Setup New Game button. A new window pops up asking you to select either "Manual" or "Random". Select "random" and a new game will appear.
To build, use:
make -f Makefile.[system]
Download (1.5MB)
Added: 2006-08-21 License: GPL (GNU General Public License) Price:
1164 downloads
KJam Build Tool 0.37
KJam is a build tool like make. more>>
KJam is a build tool like make. It uses a syntax similar to Jam, with more powerful features than the original Jam.
It has built-in very fast dependency scanning, per-target viewpathing, and C-like control flow. It is optimized for multi-processor machines. It can accelerate building by launching build actions on a distributed peer to peer network of build servers.
KJam Build Tool is designed to support large projects with thousands of targets, or projects requiring building on many target architectures.
KJam is designed to be:
Unintrusive and clean KJam is small. It has negligible CPU overhead, and it doesnt create or leave behind temporary files.
Scalable KJam is able to build large projects spread across many directories in a single pass and can manage and distribute build steps to multiple processors on one or more networked machines.
Highly portable KJam currently runs only on Windows, but it is designed to be easily portable. Ports to Linux and OSX are planned.
Multiplatform Platform independent rules and platform specific actions can be defined separately from dependency rules.
Customizable Developers can enhance and extend KJam by creating user defined rules to utilize other built-in directives.
Language KJam includes flow-control statements, variables, and a few other features of general purpose languages.
Automatic Dependencies KJam computes dependencies for its targets during building. There is no need for a separate off-line make depend step.
Enhancements:
- A new "immediate" action modifier keyword was added, which causes actions to be run as soon as they are parsed, instead of during the command phase.
- Output formatting was improved.
- Several bugs were fixed.
<<lessIt has built-in very fast dependency scanning, per-target viewpathing, and C-like control flow. It is optimized for multi-processor machines. It can accelerate building by launching build actions on a distributed peer to peer network of build servers.
KJam Build Tool is designed to support large projects with thousands of targets, or projects requiring building on many target architectures.
KJam is designed to be:
Unintrusive and clean KJam is small. It has negligible CPU overhead, and it doesnt create or leave behind temporary files.
Scalable KJam is able to build large projects spread across many directories in a single pass and can manage and distribute build steps to multiple processors on one or more networked machines.
Highly portable KJam currently runs only on Windows, but it is designed to be easily portable. Ports to Linux and OSX are planned.
Multiplatform Platform independent rules and platform specific actions can be defined separately from dependency rules.
Customizable Developers can enhance and extend KJam by creating user defined rules to utilize other built-in directives.
Language KJam includes flow-control statements, variables, and a few other features of general purpose languages.
Automatic Dependencies KJam computes dependencies for its targets during building. There is no need for a separate off-line make depend step.
Enhancements:
- A new "immediate" action modifier keyword was added, which causes actions to be run as soon as they are parsed, instead of during the command phase.
- Output formatting was improved.
- Several bugs were fixed.
Download (0.30MB)
Added: 2007-03-21 License: Free for non-commercial use Price:
974 downloads
Petname Tool 0.18
Petname Tool can help you avoid online fraud by clearly distinguishing your online relationships. more>>
Need help avoiding phishing and spoofing attacks? Petname Tool can help you avoid online fraud by clearly distinguishing your online relationships.
Using the petname tool, you can save a reminder note about a relationship you have with a secure site. The petname tool will then automatically display this reminder note every time you visit the site.
After following a hyperlink, you need only check that the expected reminder note is being displayed. If so, you can be sure you are using the same site you have in the past.
<<lessUsing the petname tool, you can save a reminder note about a relationship you have with a secure site. The petname tool will then automatically display this reminder note every time you visit the site.
After following a hyperlink, you need only check that the expected reminder note is being displayed. If so, you can be sure you are using the same site you have in the past.
Download (0.005MB)
Added: 2007-07-26 License: MPL (Mozilla Public License) Price:
825 downloads
3dfx TV Out Tool 0.0.3
The 3dfx TV Out Tool tries to be the well-known TV Tool for the 3dfx VooDoo3 cards. more>>
The 3dfx TV Out Tool tries to be the well-known TV Tool for the 3dfx VooDoo3 cards. It might work on other cards based on the bt869 chip, since it uses the bt869 lm_sensors module.
Simply typing make or make all should get you started and create an executable 3dfx_tvtool which you simply run AFTER you loaded the appropiate modules (if you built it into the kernel (which isnt a bad idea if you use your tv-out a whole lot) then you dont have to load the modules again). ALSO!! Patch your lm_sensors. In the extra dir I included 2 patches for lm_sensors package, youll need those patched or you wont get luma (brightness) and chroma (color) control at all. (The buttons will simply dissapear) If you have a rescent CVS version it MIGHT be in there allready. Just load the modules and see if there exists a luma and a chroma entry in /proc.
Colorbars On/Off: Enables/Disables the colorbars. TV Out: Enabled/disabled Enables/disables the TV-out function. TSC/PAL: put the system on NSTC/PAL mode.
Re-apply: update the kernel with your settings in case you did it too fast. Save: Saves your current kernel settings (all of them) to the default save file. Load: Loades your default file and applies its settings to the kernel. Quit: Quits the application.
Bugreports should go to oliver@are-b.org aswell as any other feedback. Oh one more thing, if you like this program, contributions can be sent to me aswell.
Thanks go out to all members of the Collective, but mostly mrfloppy, for beeing a good friend, phirox for helping me with my basic programming skill and last but not least mastex and thehatter wassup dudes.
<<lessSimply typing make or make all should get you started and create an executable 3dfx_tvtool which you simply run AFTER you loaded the appropiate modules (if you built it into the kernel (which isnt a bad idea if you use your tv-out a whole lot) then you dont have to load the modules again). ALSO!! Patch your lm_sensors. In the extra dir I included 2 patches for lm_sensors package, youll need those patched or you wont get luma (brightness) and chroma (color) control at all. (The buttons will simply dissapear) If you have a rescent CVS version it MIGHT be in there allready. Just load the modules and see if there exists a luma and a chroma entry in /proc.
Colorbars On/Off: Enables/Disables the colorbars. TV Out: Enabled/disabled Enables/disables the TV-out function. TSC/PAL: put the system on NSTC/PAL mode.
Re-apply: update the kernel with your settings in case you did it too fast. Save: Saves your current kernel settings (all of them) to the default save file. Load: Loades your default file and applies its settings to the kernel. Quit: Quits the application.
Bugreports should go to oliver@are-b.org aswell as any other feedback. Oh one more thing, if you like this program, contributions can be sent to me aswell.
Thanks go out to all members of the Collective, but mostly mrfloppy, for beeing a good friend, phirox for helping me with my basic programming skill and last but not least mastex and thehatter wassup dudes.
Download (0.027MB)
Added: 2006-07-18 License: GPL (GNU General Public License) Price:
1204 downloads
GTK ACX Tool 0.1.0
GTK ACX Tool provides a tool that displays the status of the ACX100 driver. more>>
GTK ACX Tool provides a tool that displays the status of the ACX100 driver.
The GTK ACX Tool displays the status of the Texas Instruments (TI) ACX100 IEEE 802.11 driver. This tool could be used just with driver developed by wlan.kewl.org Project on FreeBSD 5.2 and later versions.
It uses GTK+ and GtkDatabox (a GTK+ widget for fast data display). The ACX driver can be installed via the ports collection.
The GTK ACX Tool displays the status of the ACX driver. .
This tool could be used just with driver developed by wlan.kewl.org Project on FreeBSD 5.2 and later versions.
The ACX driver could be installed via the ports collection.
The GTK ACX Tool uses GTK+ - The GIMP Toolkit and GtkDatabox - A GTK+ Widget for Fast Data Display .
Current functionality is mostly based on The ACXTool from wlan.kewl.org Project and The acXmonitor from House of Craig .
<<lessThe GTK ACX Tool displays the status of the Texas Instruments (TI) ACX100 IEEE 802.11 driver. This tool could be used just with driver developed by wlan.kewl.org Project on FreeBSD 5.2 and later versions.
It uses GTK+ and GtkDatabox (a GTK+ widget for fast data display). The ACX driver can be installed via the ports collection.
The GTK ACX Tool displays the status of the ACX driver. .
This tool could be used just with driver developed by wlan.kewl.org Project on FreeBSD 5.2 and later versions.
The ACX driver could be installed via the ports collection.
The GTK ACX Tool uses GTK+ - The GIMP Toolkit and GtkDatabox - A GTK+ Widget for Fast Data Display .
Current functionality is mostly based on The ACXTool from wlan.kewl.org Project and The acXmonitor from House of Craig .
Download (0.80MB)
Added: 2007-04-18 License: BSD License Price:
921 downloads
MIME-tool 1.5
MIME-tool is a little mime encoding tool. more>>
MIME-tool is a little mime encoding tool I slapped together when I needed something on a production box at work (productions = no C development environment, only the ancient K&R compiler required for god-knows-what sys-admin task).
The resulting program will compile happilly on both the crippled C compilers bundled with some commercial *nix distributions, and on full ANSI/ISO C compilers like gcc.
I wrote this program when I needed a tool to construct MIME encoded emails with file attachments in job scripts on a production box. Being a production box it didnt have any development tools installed. However, the box DID have a K&R C compiler that appears to be necessary for some administrative task or another (configuring the kernel?). If you tried to compile even fairly simple ANSI/ISO C source the compiler bitched and moaned about all the stuff it didnt support, which will stop most folk (at least those who dont know anything about the history of the C programming language) from building their own binaries.
Since Im old enough to actually have written C code back before we had the ANSI/ISO standard and all the accompanying niceties, I was not stymied by a the lack of ANSI/ISO support. Its really not all that hard to write K&R compliant code, so long as you dont need the compiler to check your function calls for you. For a program this small, however, thats not much of a concern.
Since the program is meant to be compiled on systems with minimal support (there is no telling what unrestrained IT staff will decide must be removed in the interest of system security) I didnt bother to include a makefile. On every system I have tried, however, the program compiled with the simple incantation
cc -o mime mime.c
but your selected target system may require extra special magics.
The program supports the basic MIME standard: The caller can select the content type (application/octet-stream, text/plain, or user specified), content type encoding (7bit, 8bit, binary, base64 or auto-detected) and the boundry string (defaults to "=_MIME_CONTENT_BREAK_="). Further, the caller may specify the e-mail subject, to address, from address, carbon copy address and text for a prolog and epilog. The content type and encoding may be specified separately for each attached file.
The programs calling format is:
mime [-dDvV] [-S subject] [-F from-address] [-T to-address]
[-C carbon-copy address] [-P prolog-text] [-E epiplogue-text]
[-B boundry] {[-78abqux] [-t content-type] filename}
-d low detail debugging
-D high detail debugging
-v verbose messages
-V very verbose messages
-7 7-bit ASCII encoding
-8 8-bit ASCII encoding
-a application/octet-stream content type
-b binary encoding
-q quoted-printable encoding
-t text/plain content type
-u unknown encoding, auto-detect
-x base64 encoding
Theres really not much to this program. Once you know how the MIME messages are constructed you could do most of it manually (except for the base64 encoding, which would require a program like this), but if there are any problems with it, I would like to know about them.
Enhancements:
- A typo in the online help message was fixed.
- A known bugs section was added to the manpage.
- Proper quoting and folding were added to the filename header.
<<lessThe resulting program will compile happilly on both the crippled C compilers bundled with some commercial *nix distributions, and on full ANSI/ISO C compilers like gcc.
I wrote this program when I needed a tool to construct MIME encoded emails with file attachments in job scripts on a production box. Being a production box it didnt have any development tools installed. However, the box DID have a K&R C compiler that appears to be necessary for some administrative task or another (configuring the kernel?). If you tried to compile even fairly simple ANSI/ISO C source the compiler bitched and moaned about all the stuff it didnt support, which will stop most folk (at least those who dont know anything about the history of the C programming language) from building their own binaries.
Since Im old enough to actually have written C code back before we had the ANSI/ISO standard and all the accompanying niceties, I was not stymied by a the lack of ANSI/ISO support. Its really not all that hard to write K&R compliant code, so long as you dont need the compiler to check your function calls for you. For a program this small, however, thats not much of a concern.
Since the program is meant to be compiled on systems with minimal support (there is no telling what unrestrained IT staff will decide must be removed in the interest of system security) I didnt bother to include a makefile. On every system I have tried, however, the program compiled with the simple incantation
cc -o mime mime.c
but your selected target system may require extra special magics.
The program supports the basic MIME standard: The caller can select the content type (application/octet-stream, text/plain, or user specified), content type encoding (7bit, 8bit, binary, base64 or auto-detected) and the boundry string (defaults to "=_MIME_CONTENT_BREAK_="). Further, the caller may specify the e-mail subject, to address, from address, carbon copy address and text for a prolog and epilog. The content type and encoding may be specified separately for each attached file.
The programs calling format is:
mime [-dDvV] [-S subject] [-F from-address] [-T to-address]
[-C carbon-copy address] [-P prolog-text] [-E epiplogue-text]
[-B boundry] {[-78abqux] [-t content-type] filename}
-d low detail debugging
-D high detail debugging
-v verbose messages
-V very verbose messages
-7 7-bit ASCII encoding
-8 8-bit ASCII encoding
-a application/octet-stream content type
-b binary encoding
-q quoted-printable encoding
-t text/plain content type
-u unknown encoding, auto-detect
-x base64 encoding
Theres really not much to this program. Once you know how the MIME messages are constructed you could do most of it manually (except for the base64 encoding, which would require a program like this), but if there are any problems with it, I would like to know about them.
Enhancements:
- A typo in the online help message was fixed.
- A known bugs section was added to the manpage.
- Proper quoting and folding were added to the filename header.
Download (0.013MB)
Added: 2006-06-04 License: GPL (GNU General Public License) Price:
1245 downloads
KSMS-Tool 1.0
KSMS-Tool is a tool for sending SMS via your mobile phone. more>>
KSMS-Tool is a tool for sending SMS via your mobile phone. In principle, every modern mobile phone should be supported; these have been explicitely tested so far:
- Siemens S55
- Sony-Ericsson K700i
The connection to the mobile phone is established via the serial interface. In principle, every serial emulation (e.g. via USB, IrDA, Bluetooth) should also work if an error-free connection is guaranteed (especially in the wireless cases IrDA resp. Bluetooth).
Details on choosing a non-default connection to the mobile phone or on how to populate the user-defined addressbook can be found on the KSMS-Tool homepage.
<<less- Siemens S55
- Sony-Ericsson K700i
The connection to the mobile phone is established via the serial interface. In principle, every serial emulation (e.g. via USB, IrDA, Bluetooth) should also work if an error-free connection is guaranteed (especially in the wireless cases IrDA resp. Bluetooth).
Details on choosing a non-default connection to the mobile phone or on how to populate the user-defined addressbook can be found on the KSMS-Tool homepage.
Download (0.030MB)
Added: 2006-06-05 License: GPL (GNU General Public License) Price:
1239 downloads
Spyware Removal Tool 3.5
Spyware is a major problem in many computers these days. You can easily be a victim and not even know it. Do you mysteriously have a different h... more>> <<less
Download (15KB)
Added: 2009-03-31 License: Freeware Price: Free
455 downloads
Java checkstyle Tool 4.3
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. more>>
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. Java checkstyle Tool automates the process of checking Java code to spare humans of this boring (but important) task. This makes it ideal for projects that want to enforce a coding standard.
Checkstyle is highly configurable and can be made to support almost any coding standard. An example configuration file is supplied supporting the Sun Code Conventions. As well, other sample configuration files are supplied for other well known conventions.
Checkstyle can check many aspects of your source code. Historically its main functionality has been to check code layout issues, but since the internal architecture was changed in version 3, more and more checks for other purposes have been added. Now Checkstyle provides checks that find class design problems, duplicate code, or bug patterns like double checked locking.
Enhancements:
- This release contains a number of enhancements and bugfixes.
- The highlights include performance improvements in the StrictDuplicateCode check and a new CrossLanguageRegexpHeader check that allows checking file headers for languages other than Java.
<<lessCheckstyle is highly configurable and can be made to support almost any coding standard. An example configuration file is supplied supporting the Sun Code Conventions. As well, other sample configuration files are supplied for other well known conventions.
Checkstyle can check many aspects of your source code. Historically its main functionality has been to check code layout issues, but since the internal architecture was changed in version 3, more and more checks for other purposes have been added. Now Checkstyle provides checks that find class design problems, duplicate code, or bug patterns like double checked locking.
Enhancements:
- This release contains a number of enhancements and bugfixes.
- The highlights include performance improvements in the StrictDuplicateCode check and a new CrossLanguageRegexpHeader check that allows checking file headers for languages other than Java.
Download (2.6MB)
Added: 2007-01-26 License: LGPL (GNU Lesser General Public License) Price:
1021 downloads
ID3v2 Chapter Tool 1.4.4
ID3v2 Chapter Tool is an authoring tool which allows you to signal the start and end times of particular sequences. more>>
ID3v2ChapterTool is an application which allows you to author and embed chapter information in your MP3 files. ID3v2 Chapter Tool project is part of the BBC open source initiative and is maintained as a Sourceforge project.
The application uses a new signalling specification that has been developed by ID3.org which is supported by APIs created in this project. These build on the Java ID3 API developed by Jens Vonderheide.
Chapters in this context could be any of the following:
- chapters within an audiobook
- articles within a podcast
- individual tracks within a multi-track audio file
At the most basic level this chapter information consists of the start time of each chapter you define, allowing listeners to skip easily to these points in the file during replay. However, chapters can also have descriptive information (e.g. title), images and URLs.
The information attached to each chapter can be used by media players to provide a dynamic display during replay. For example, the images attached to each chapter can be used to provide a slide show.
The ID3v2ChapterTool also allows you to create a Table of Contents (TOC).
At the most advanced level it is possible to define multiple TOCs for a single audio file. For example, one TOC could provide access to the entire audio file whilst a second TOC could provide access to a set of highlights.
Once chapter information is widely supported by media players it will enable some exciting new multimedia applications such Audio Encyclopaedias.
<<lessThe application uses a new signalling specification that has been developed by ID3.org which is supported by APIs created in this project. These build on the Java ID3 API developed by Jens Vonderheide.
Chapters in this context could be any of the following:
- chapters within an audiobook
- articles within a podcast
- individual tracks within a multi-track audio file
At the most basic level this chapter information consists of the start time of each chapter you define, allowing listeners to skip easily to these points in the file during replay. However, chapters can also have descriptive information (e.g. title), images and URLs.
The information attached to each chapter can be used by media players to provide a dynamic display during replay. For example, the images attached to each chapter can be used to provide a slide show.
The ID3v2ChapterTool also allows you to create a Table of Contents (TOC).
At the most advanced level it is possible to define multiple TOCs for a single audio file. For example, one TOC could provide access to the entire audio file whilst a second TOC could provide access to a set of highlights.
Once chapter information is widely supported by media players it will enable some exciting new multimedia applications such Audio Encyclopaedias.
Download (0.38MB)
Added: 2006-04-18 License: LGPL (GNU Lesser General Public License) Price:
1286 downloads

EDDIE Tool 0.37.3.1
EDDIE Tool functions as a system monitoring, security and performance analysis agent created completely in Python. more>> EDDIE Tool 0.37.3.1 functions as a system monitoring, security and performance analysis agent created completely in Python. Its key features are portability, powerful configuration and ease of expansion. It runs standalone on a system and performs checks and other actions as defined by an extensible configuration.
Major Features:
- The EDDIE Tool can perform all basic system monitoring checks, such as: filesystem; processes; system load; and network configuration. It can also perform such network monitoring tasks as: ping checks; HTTP checks; POP3 tests; SNMP queries; RADIUS authentication tests; and customized TCP port checks. Finally, a few checks lend themselves to security monitoring: watching files for changes; and scanning logfiles.
- The EDDIE Tool can also send any collected statistic to RRD files to be displayed graphically by any standard RRD tool. No need to run multiple monitoring and data collection agents.
- Monitoring rules are just like Python expressions and can be as simple or as complex as needed. Advanced alert control functionality such as exponential back-off and dependencies are also standard.
- The EDDIE Tool has been designed to be as platform-independent as possible. It is written in 100% Python and will run on all platforms that Python runs on. Only a few system-dependent modules must be customized for individual platforms for system data collection. System-dependent modules are included for: Linux; Solaris; HP-UX; OpenBSD; Darwin/OS X; FreeBSD and Windows (Win32) .
Requirements: Python
Added: 2009-03-02 License: GPL Price: FREE
1 downloads
DREAM Tool 0.7 Beta
DREAM Tool is a generic framework that aims at providing a common semantic domain. more>>
DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints.
The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems.
To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system. We plan to extend the genetic algorithms to solve a large number of problems.
DREAM is a simulation and verification framework which provides a formal model and analysis of your system in less than a day. Systems in DREAM are specified using XML in a straightforward way. I hope you find it useful.
Real-time middleware provides dependable and efficient platforms supporting key functional and quality of service (QoS) needs of distributed real-time embedded (DRE) systems.
Key challenges in DRE system developments include safe composition of system components and mapping the functional specifications onto the target platform. Model-based technologies help address these issues by enabling design-time analysis and providing the means for the rapid evaluation of design alternatives with respect to end-to-end QoS properties, predictability and performance measures before committing to a specific platform.
The Distributed Real-time Embedded Analysis Method DREAM is an open-source tool and method for optimizing multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems. The project focuses on the practical application of formal analysis methods to real-time middleware to automate the verification, development, configuration, and integration of middleware-based DRE systems.
Enhancements:
- This version implemented several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times.
- There are no known memory leaks present in the current release.
- Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method.
- XML Schema validation was implemented.
- Verification time reporting was upgraded to include data on the simulation speeds.
- Random simulation-based testing now provides an execution trace when a deadline is missed.
<<lessThe semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems.
To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system. We plan to extend the genetic algorithms to solve a large number of problems.
DREAM is a simulation and verification framework which provides a formal model and analysis of your system in less than a day. Systems in DREAM are specified using XML in a straightforward way. I hope you find it useful.
Real-time middleware provides dependable and efficient platforms supporting key functional and quality of service (QoS) needs of distributed real-time embedded (DRE) systems.
Key challenges in DRE system developments include safe composition of system components and mapping the functional specifications onto the target platform. Model-based technologies help address these issues by enabling design-time analysis and providing the means for the rapid evaluation of design alternatives with respect to end-to-end QoS properties, predictability and performance measures before committing to a specific platform.
The Distributed Real-time Embedded Analysis Method DREAM is an open-source tool and method for optimizing multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems. The project focuses on the practical application of formal analysis methods to real-time middleware to automate the verification, development, configuration, and integration of middleware-based DRE systems.
Enhancements:
- This version implemented several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times.
- There are no known memory leaks present in the current release.
- Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method.
- XML Schema validation was implemented.
- Verification time reporting was upgraded to include data on the simulation speeds.
- Random simulation-based testing now provides an execution trace when a deadline is missed.
Download (3.3MB)
Added: 2007-07-28 License: GPL (GNU General Public License) Price:
821 downloads
The EDDIE Tool 0.35
The EDDIE Tool is a system monitoring, security and performance analysis agent developed entirely in Python. more>>
The EDDIE Tool is a system monitoring, security and performance analysis agent developed entirely in Python. It runs standalone on a system and performs checks and other actions as defined by an extensible configuration.
The EDDIE Tool can perform all basic system monitoring checks, such as: filesystem; processes; system load; and network configuration.
It can also perform such network monitoring tasks as: ping checks; HTTP checks; POP3 tests; SNMP queries; RADIUS authentication tests; and customized TCP port checks.
Finally, a few checks lend themselves to security monitoring: watching files for changes; and scanning logfiles.
The EDDIE Tool can also send any collected statistic to RRD files to be displayed graphically by any standard RRD tool.
No need to run multiple monitoring and data collection agents. Monitoring rules are just like Python expressions and can be as simple or as complex as needed. Advanced alert control functionality such as exponential back-off and dependencies are also standard.
Enhancements:
- Support for two new platforms: FreeBSD and Microsoft Windows. Solaris 10 support.
- Better support for Linux kernel 2.6.
- SMTP response time monitoring.
- The FILE directive can show diffs when monitored files are modified.
- Disk/filesystem throughput measuring on Solaris.
- Many more enhancements and bugfixes.
<<lessThe EDDIE Tool can perform all basic system monitoring checks, such as: filesystem; processes; system load; and network configuration.
It can also perform such network monitoring tasks as: ping checks; HTTP checks; POP3 tests; SNMP queries; RADIUS authentication tests; and customized TCP port checks.
Finally, a few checks lend themselves to security monitoring: watching files for changes; and scanning logfiles.
The EDDIE Tool can also send any collected statistic to RRD files to be displayed graphically by any standard RRD tool.
No need to run multiple monitoring and data collection agents. Monitoring rules are just like Python expressions and can be as simple or as complex as needed. Advanced alert control functionality such as exponential back-off and dependencies are also standard.
Enhancements:
- Support for two new platforms: FreeBSD and Microsoft Windows. Solaris 10 support.
- Better support for Linux kernel 2.6.
- SMTP response time monitoring.
- The FILE directive can show diffs when monitored files are modified.
- Disk/filesystem throughput measuring on Solaris.
- Many more enhancements and bugfixes.
Download (0.19MB)
Added: 2005-11-01 License: GPL (GNU General Public License) Price:
1452 downloads
graph-tool 0.9
graph-tool is a program to help with statistical analysis of graphs. more>>
graph-tool project is a program to help with statistical analysis of graphs.
Main features:
- support for directed and undirected graphs
- support for arbitrary vertex or edge properties
- generic filtering of edges and vertices
- several statistical measurements:
- degree (or scalar property) histogram
- vertex-vertex degree (or scalar property) correlation
- average nearest neighbours degree (or scalar property)
- vertex-edge-vertex correlation
- clustering coefficients
- assortativity coefficient
- average distance
- component statistics
- generation of random graphs with arbitrary degree distribution and degree correlation
- graph history measurement based on filtering
- support for graphml and dot file formats
The core algorithms are written in C++, making use of the Boost Graph Library, and template metaprogramming techniques, with performace in mind. The command line interface and other outlying code are written in python.
<<lessMain features:
- support for directed and undirected graphs
- support for arbitrary vertex or edge properties
- generic filtering of edges and vertices
- several statistical measurements:
- degree (or scalar property) histogram
- vertex-vertex degree (or scalar property) correlation
- average nearest neighbours degree (or scalar property)
- vertex-edge-vertex correlation
- clustering coefficients
- assortativity coefficient
- average distance
- component statistics
- generation of random graphs with arbitrary degree distribution and degree correlation
- graph history measurement based on filtering
- support for graphml and dot file formats
The core algorithms are written in C++, making use of the Boost Graph Library, and template metaprogramming techniques, with performace in mind. The command line interface and other outlying code are written in python.
Download (0.27MB)
Added: 2006-08-08 License: GPL (GNU General Public License) Price:
1178 downloads
Secleted [ 0 ] software to compare
Copyright Notice:
Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future software development. The above vj tool search only lists software in full, demo and trial versions for free download. Download links are directly from our mirror sites or publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed