BibSonomy ::  user :: gresch ::

jsUndoable is my second attempt at a powerful, reusable, undo library for Javascript. It uses the command pattern and is roughly based on the Cocoa undo manager.

SCPSolver should enable a Java developer to use Linear Programming in less than 10 minutes. Most solvers for linear programs are implemented in C/C++ for performance reasons. Java developers can use JNI interfaces for some solvers. However most interfaces are pretty difficult to setup, and lock the developer in to a specific solver. SCPSolver was developed to overcome those issues. The library has the following features: easy to deploy on Linux, Mac Os X and Windows with prebuilt linear programming libraries (almost dependency-free) plugin-concept: write model, use different solvers to solve it currently supported solvers: GLPK lpsolve CPLEX (solver pack must be built by script by user) low learning curve: very simple, no-frills API other features: implementation of sparse matrices and graphs, debugger for linear programs, prebuilt models for common optimization problems like set cover, ...

The Doolin framework allows the rapid development of Swing applications. It uses the Spring framework as a support for its configuration and extensibility.

Cascading is a Data Processing API, Process Planner, and Process Scheduler used for defining and executing complex, scale-free, and fault tolerant data processing workflows on an Apache Hadoop cluster. All without having to 'think' in MapReduce. Cascading is a thin Java library and API that sits on top of Hadoop's MapReduce layer and is executed from the command line like any other Hadoop application. As a library and API that can be driven from any JVM based language (Jython, JRuby, Groovy, Clojure, etc.), developers can create applications and frameworks that are "operationalized". That is, a single deployable Jar can be used to encapsulate a series of complex and dynamic processes all driven from the command line or a shell. Instead of using external schedulers to glue many individual applications together with XML against each individual command line interface. The Cascading API approach dramatically simplifies development, regression and integration testing, and deployment of business critical applications on both Amazon Web Services (like Elastic MapReduce) or on dedicated hardware. Cascading is not a new text based query syntax (like Pig) or another complex system that must be installed on a cluster and maintained (like Hive). But Cascading is both complimentary and a valid alternative to either application.

Normally smartphone events are tightly coupled to your phone device itself. When your cell phone is ringing, your phone speaker plays a ringtone. When you get a new text message, your phone displays it on its screen. Wouldn't it be thrilling to make thoses phone events visible somewhere else, on your wearable, in your living room, on your robot, in your office or where ever you want it to occur? Or would you like to use your smartphone sensors, like the accelerometer, light sensor, compass or your touchscreen to control other devices? 'android meets arduino' is a toolkit, basically consisting of an Android application and an Arduino library which will help you to interface with your phone in a new dimension. You can build your own interfaces almost without any programming experience.

Apache Shiro is a powerful and easy-to-use security framework that performs authentication, authorization, cryptography, and session management. With Shiro’s easy-to-understand API, you can quickly and easily secure any application – from the smallest mobile applications to the largest web and enterprise applications.

scalaxb-appengine is a RESTful API to run scalaxb over the web. It's implemented using n8han/Unfiltered and the full source is available on eed3si9n/scalaxb-appengine. scalaxb-appengine came into being because I didn't know how to deploy a command line application written in Scala. Greg kindly suggested that I turn scalaxb into a web service, so I did. I guess I always thought about the possibility of making it into a web app, but this gave me a perfect opportunity to seize the moment and write a web app in Scala.

Scala Pages (SCP) is a lightweight web framework developed in the Scala language. It is intended for developing Scala web applications; it is released under the Apache 2 license. SCP provides an API that is familiar to Java programmers. It is built on and closely aligned to the Servlet API. It can be learned quickly by anyone familiar with Java web development. The SCP Scala web framework is build around a text-oriented template engine. Dynamic web pages are either generated from templates or from Scala code. Templates can be HTML-templates, XML-templates or any other text format, such as CSV, JSON, etc. Because SCP neither uses DOM nor SAX parsing, memory and CPU requirements are moderate. SCP makes use of XML processing instructions instead of custom tags.

This application writes messages received by a TCP/IP socket connection to the local file system. It can be operated either as multi client capable socket server or as a socket client and is multithreaded. Both, Linux/Unix and Windows, are supported.

iCal4j is a Java API that provides support for the iCalendar specification as defined in RFC2445. This support includes a Parser, Object Model and Generator for iCalendar data streams.

The Globus® Toolkit is an open source software toolkit used for building grids. It is being developed by the Globus Alliance and many others all over the world. A growing number of projects and companies are using the Globus Toolkit to unlock the potential of grids for their cause.

Hazelcast is an open source clustering and highly scalable data distribution platform for Java, which is: * Lightening-fast; thousands of operations/sec. * Fail-safe; no losing data after crashes. * Dynamically scales as new servers added. * Super-easy to use; include a single jar. Hazelcast is pure Java. JVMs that are running Hazelcast will dynamically cluster. Although by default Hazelcast will use multicast for discovery, it can also be configured to only use TCP/IP for environments where multicast is not available or preferred.

PrimeFaces is an open source component suite for Java Server Faces featuring 90+ rich set of JSF components. Additional TouchFaces module features a UI kit for developing mobile web applications. * 90+ rich set of components (HtmlEditor, Dialog, AutoComplete, Charts and many more). * Built-in Ajax with Lightweight Partial Page Rendering. * Native Ajax Push/Comet support. * Mobile UI kit to create mobile web applications for handheld devices with webkit based browsers.(IPhone, Palm, Android Phones, Nokia S60 and more) * Compatible and Lightweight. * Skinning Framework with 25+ pre-designed themes. * Extensive documentation.

Fræser is a framework for estimating the parameters of static and dynamic errors-in-variables systems with the opportunity to compare various errors-in-variables parameter estimation algorithms via simulations. It features a graphical user interface and several examples for simultaneously estimating model and noise parameters. The framework incorporates the following linear and nonlinear estimation methods for static and dynamic systems: * model parameter estimation for static systems o Koopmans method * linear model and noise parameter estimation for dynamic systems o (extended) instrumental variables method (XIV) o bias-compensating least-squares method (BCLS) o Frisch scheme (FS) o generalized Koopmans-Levin method (GKL) * nonlinear model parameter estimation for static systems o nonlinear Koopmans method (NK) o approximated maximum likelihood method (AML) * nonlinear model and noise parameter estimation for dynamic systems o bias-compensated least squares method (BCLS) o nonlinear Koopmans-Levin method (NKL) o nonlinear extennonlinear extension to generalized Koopmans-Levin method (NGKL)

Jspresso is an innovative framework for building rich internet applications. Jspresso dramatically reduces the development cycles needed to get your corporate application up and running while not sacrificing quality, robustness and performance. Jspresso is not just another webapp framework. Jspresso based applications offer the exact same ergonomics as desktop applications while keeping an N-tier, server-centric architecture on a java backend. Jspresso-based applications can be deployed either in Adobe's Flex, qooxdoo, WingS, ULC and Swing, all on the same codebase and without a single specific line of GUI code. And last but not least, Jspresso is free.

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.