Spider Linker provides the ability to efficiently make all content on a Web site, particularly dynamic content, available to Internet search engines. It discovers content on one or more Web sites, and creates a table of contents (TOC) of all the content in a format that is friendly to search engine spiders. HTML, XML, sitelist.txt, and Harvest Control List formats are supported, and custom formats can be constructed. Since it provides FTP, HTTP/HTTPS, upload, and email publishing mechanisms, it can also support XML feeds and other URL submission strategies.
PDU/ASCII conversion functions convert between an ISO-8859-1 ASCII string and a PDU-encoded array of bytes as described in ETSI GSM 03.38 and ETSI GSM 03.40. A PDU-encoded message is necessary for sending an SMS using a cell phone that does not support plain ASCII mode (like most phones from Ericsson).
TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.