If you are a newcomer to the SATisfiability problem, you might want to take a look at wikipedia's page on the boolean satisfiability problem first. You might also find those surveys of interest. For a deeper insight of the current interest on SAT solvers for software and hardware verification, Armin Biere's course on formal systems is a good start. Eugene Goldberg has also a nice and somehow non standard way of introducing modern SAT solvers in his three part course on SAT.
Apache Shiro is a powerful and flexible open-source security framework that cleanly handles authentication, authorization, enterprise session management and cryptography.
Our mission: To provide the most robust and comprehensive application security framework available while also being very easy to understand and extremely simple to use.
Die Roblet®-Technik ist eine in Java™ implementierte Softwareschicht zwischen Anwendung und Übertragungsnetzwerk. Ziel ist, von jeglichen Hardware- und Netzwerkaspekten verteilter Systeme zu abstrahieren, um die Komplexität bei der Entwicklung verteilter Anwendungen signifikant zu reduzieren. Um dieses Ziel erreichen zu können, bietet die Roblet®-Technik Verteilungsfreiheit bei der Zuordnung von Funktionalität, Technikvereinheitlichung für die verteilte Anwendung und Netzwerktransparenz inklusive Datensicherheit.
FUBAR uses the statistical technique "Kriging" to rescale images with an global geometric pattern, called the variogram.
The image can be infinitely rescaled: the estimates ('o' on the left figure) are calculated from five neighbouring samples of the source image ('+' on the left figure). The image is 'noisy' because each pixel is a realization of the estimated value. In other words, each pixel is a random value with a mean and a variance from the local distribution. By changing the variogram (press 'v') or the variance multiplier, it is possible to control that variance.
Clicking the left mouse button zooms in on the image and right-click zooms the image back out. Press SPACEBAR to accept the current realization as the 'source image' -this will reduce noise at small scales.
Katta is a scalable, failure tolerant, distributed, data storage for real time access.
Katta serves large, replicated, indices as shards to serve high loads and very large data sets. These indices can be of different type. Currently implementations are available for Lucene and Hadoop mapfiles.
* Makes serving large or high load indices easy
* Serves very large Lucene or Hadoop Mapfile indices as index shards on many servers
* Replicate shards on different servers for performance and fault-tolerance
* Supports pluggable network topologies
* Master fail-over
* Fast, lightweight, easy to integrate
* Plays well with Hadoop clusters
* Apache Version 2 License
About
* Who We Are
* Contact
* News
* Legal/License
* Sponshorship
* Thanks
What is Apache Pivot?
Apache Pivot is an open-source platform for building rich internet applications in Java. It combines the enhanced productivity and usability features of a modern RIA toolkit with the robustness of the Java platform. Pivot applications are written using a combination of Java and XML and can be run either as an applet or as a standalone, optionally offline, desktop application.
Like other modern development platforms, Pivot provides a comprehensive set of foundation classes that together comprise a "framework". These classes form the building blocks upon which more complex and sophisticated applications can be built.
Griffon is a Grails like application framework for developing desktop applications in Groovy. Inspired by Grails, Griffon follows the Convention over Configuration paradigm, paired with an intuitive MVC architecture and a command line interface. Griffon also follows the spirit of the Swing Application Framework (JSR 296), it defines a simple yet powerful application life cycle and event publishing mechanism. Another interesting feature comes from the Groovy language itself: automatic property support and property binding (inspired by BeansBinding (JSR 295)), which makes creating observable beans and binding to their properties a snap! As if property binding was not enough Groovy's SwingBuilder also simplifies building multi-threaded applications, say goodbye to the ugly gray rectangle (the bane of Swing apps)!
Grails developers should feel right at home when trying out Griffon. Many of Grails' conventions and commands are shared with Griffon. Granted, Swing is not the same as HTML/GSP but Builders simplify the task of creating the UI.
Seasoned Java developers will also be able to pick up the pace quickly, as the framework relieves you of the burden of maintaining an application structure, allowing you to concentrate on getting the code right.
Apache Wink is a simple yet solid framework for building RESTful Web services. It is comprised of a Server module and a Client module for developing and consuming RESTful Web services.
The Wink Server module is a complete implementation of the JAX-RS v1.0 specification. On top of this implementation, the Wink Server module provides a set of additional features that were designed to facilitate the development of RESTful Web services.
The Wink Client module is a Java based framework that provides functionality for communicating with RESTful Web services. The framework is built on top of the JDK HttpURLConnection and adds essential features that facilitate the development of such client applications.
Jodd is generic purpose open-source Java utility library. It enriches JDK with many powerful and feature rich utilities. Jodd helps with everyday task, makes code more robust and reliable. Special attention is put into creating reusable and fastest possible code and still keeping it compact, under 500 KB.
Jodd Wot is bundle of lightweight application frameworks - under 300 KB! Designed following the CoC, DRY and SCS principles, it makes development simple, but not simpler; you get 90% of the features with 10% of usual effort.
Jodd is free software, released under the terms of the BSD license.
Highlights
BeanUtil
Fastest bean manipulation library around, together with introspection and type conversion tools and some unqiue features.
Madvoc
Elegant web MVC framework that uses CoC and annotations in a pragmatic way to simplify web application development.
Petite
Slick and lightweight dependency injection container that uses annotations and supports sufficient most of features offered by other containers.
Proxetta
The fastest proxy creator with unique approach for defying pointcuts and advices.
Db & DbOrm
Efficient and thin layers that significantly simplifies writing of database code.
JDateTime
Elegant usage and astronomical precision in one time-manipulation class.
Welcome to JaValid
JaValid is an open source framework for validating your Java business objects. JaValid is licensed under the Eclipse Public License 1.0. JaValid 1.2 is the latest release.
JaValid is an annotation-based validation framework, which allows you to annotate your Java objects to introduce validation. JaValid can be used in any type of Java application (standalone application, web application etc). The framework currently provides full integration with the Spring Framework, Java Server Faces, Facelets, and any database. The framework can be extended easily, by means of extensions, and also allows you to add your own validation constraints in addition to the ones shipping with the framework.
The framework is documented well (both the source and the general documentation), so check it out. To learn more, have a look on the documentation page.
The source and distributions are hosted on sourceforge, go to the downloads directly here. You may also want to check out the weblog, which contains some useful information, including several examples.
Have fun using JaValid!
Stitches is a Grails 1.1 plugin that implements a content repository with many value added features.
* Define content and attributes
* Store and version content
* Search and filter by keyword, folder, tag.
* Geocode your content and perform "nearby longitude/latitude searches"
* Synchronize your content to amazon s3.
* Automatic Image scaling upon request.
* Text is automatically extracted for keyword search from different document formats (e.g. PDF, Word, Excel, etc)
We provide a AJAX JSF solution, that combines ease of use, stability and performance. Our AJAX solution supports lots of environments: It works inside JSF datatables, together with JSF 1.1 as well as 1.2, with Facelets and even with JSR168 Portlets! We provide true PPR (partial page rendering) and PPS (partial page submit) which means that the rendering process is only executed for the components that are being rerendered and only the fields needed for the request are submitted and processed.
Ripplet is a powerful,high available,flexible,collaborative load/stress test tool. It aims at providing an environment where users are able to do the tasks as follows :
* illustrate test design and outline load description clearly
* control realistic performance load efficiently, both on logic and data flow
* diagnose performance spikes and bottlenecks easily
* evaluate system capacity quickly and correctly
* share achievements for developers or customers, not only reports but test plan for product enviroment stage evaluation
Use it, extend it, just making your load test fruitful, your production stable. Hopefully, it's pretty much everything you seek in load test and it's beyond your expectation.
Here comes what a lot of people were waiting for: "Spring Roo provides interactive, lightweight, user customizable tooling that enables rapid delivery of high performance enterprise Java applications. Click here to access the latest Spring Roo resources, including downloads, forum, Subversion, Jira, Fisheye, Twitter feeds, documentation etc."
Neuroph is lightweight Java neural network framework to develop common neural network architectures. It contains well designed, open source Java library with small number of basic classes which correspond to basic NN concepts. Also has nice GUI neural network editor to quickly create Java neural network components. It has been released as open source under the LGPL license, and it's FREE for you to use it.
The WaveMaker platform consists of two components: WaveMaker Visual Ajax Studio™ for developing rich internet applications and WaveMaker Rapid Deployment Server™ for deploying applications into a standard and secure Java environment.
Writing efficient user interfaces is the main maxim, here at Vimperator labs. We often follow the Vim way of doing things, but extend its principles when necessary.
Towards this end, we've created the liberator library for Mozilla based applications, to encapsulate as many of these generic principles as possible, and liberate developers from the tedium of reinventing the wheel.