Posted on 19-02-2008
Filed Under (documentation) by Linux Poweruser Programmer

Energy Crisis Management: New technology enables alternative energy applications
Google engEDU
54 min – Nov 13, 2006

Google Tech Talks
November 13, 2006

ABSTRACT
A new ultracapacitor technology from APCT (US-Ukrainian start-up) provides an efficient, low cost means of managing power delivery for applications ranging from hand held devices to hybrid vehicles and power generating systems of all types. When integrated into battery powered devices, the APCT technology can extend battery life by as much as 400%, lowering the cost of batteries and reducing hazardous waste streams. Fast charge/discharge cycling with 95% efficiency improves performance and lowers cost for fuel cell vehicles and hybrid electric automobiles. High energy density and hundreds of thousands of cycles provides critical load leveling capabilities for wind and solar power generators while eliminating stacks of lead acid batteries supporting fragile power grids.
The unique construction and materials of the APCT ultracapacitor improves performance by 3 to 4 times when compared to current offerings. For the first time, the cost/benefit requirements for automotive, power quality and consumer electronic applications can be achieved in mass production. Read the rest of this entry »

Sphere: Related Content

(0) Comments    Read More   
Posted on 17-02-2008
Filed Under (documentation) by Linux Poweruser Programmer

Elkhound, Elsa and Cqual++: Open-Source Static Analysis for C++
Google engEDU
42 min – Apr 14, 2006

Google TechTalks
April 11, 2006

Scott McPeak

ABSTRACT
This talk will cover three pieces of infrastructure for writing static analyses for C++. All are available as open source. Elkhound is a Generalized LR (GLR) parser generator. Its input is a grammar augmented with reduction actions written in C++. The GLR algorithm works with any context-free grammar, even ambiguous grammars. The user provides additional actions to resolve ambiguities that may arise during parsing. Elsa is a C++ parser written using Elkhound. It solves many of the classic parsing challenges of C and C++ by using an ambiguous grammar, delaying much of the disambiguation until the type checking phase.

Not only does this lead to a cleaner design, the use of a parsing grammar lends itself naturally to language extensions, grammar fragments that pertain to specific language dialects (for example, GCC extensions). The use of extensions is ideal in a research setting. Finally, Cqual++ is a static analysis tool built on top of Elsa. It is a port of the older Cqual tool. It takes advantage of the Elsa extension mechanisms to process Cqual++ annotations, traverse the parsed AST, and then generate qualifier constraints that are solved by a general-purpose back end. It has been used to find a number of security bugs in the Linux kernel. Read the rest of this entry »

Sphere: Related Content

(0) Comments    Read More   
Posted on 22-01-2008
Filed Under (GNU/Linux) by Linux Poweruser Programmer

Elkhound, Elsa and Cqual++: Open-Source Static Analysis for C++
Google engEDU
42 min – 14-Apr-06

Google TechTalks
April 11, 2006

Scott McPeak

ABSTRACT
This talk will cover three pieces of infrastructure for writing static analyses for C++. All are available as open source. Elkhound is a Generalized LR (GLR) parser generator. Its input is a grammar augmented with reduction actions written in C++. The GLR algorithm works with any context-free grammar, even ambiguous grammars. The user provides additional actions to resolve ambiguities that may arise during parsing. Elsa is a C++ parser written using Elkhound. It solves many of the classic parsing challenges of C and C++ by using an ambiguous grammar, delaying much of the disambiguation until the type checking phase.

Not only does this lead to a cleaner design, the use of a parsing grammar lends itself naturally to language extensions, grammar fragments that pertain to specific language dialects (for example, GCC extensions). The use of extensions is ideal in a research setting. Finally, Cqual++ is a static analysis tool built on top of Elsa. It is a port of the older Cqual tool. It takes advantage of the Elsa extension mechanisms to process Cqual++ annotations, traverse the parsed AST, and then generate qualifier constraints that are solved by a general-purpose back end. It has been used to find a number of security bugs in the Linux kernel. Read the rest of this entry »

Sphere: Related Content

(0) Comments    Read More   
Posted on 08-01-2008
Filed Under (Apache) by Linux Poweruser Programmer

.htaccess Password Generator Online Tool
IMNirvana
6 min – 3-Sep-07

http://www.imnirvana.com — Use this cool online .htaccess Password Generator to easily password protect Free Link Cloaker. All you need to do is copy and paste. Read the rest of this entry »

Sphere: Related Content

(0) Comments    Read More   
Posted on 07-01-2008
Filed Under (Apache) by Linux Poweruser Programmer

Block a Country
vidrambler
35 sec – 1-Nov-07

Short demo on how to use block a country htaccess generator Read the rest of this entry »

Sphere: Related Content

(0) Comments    Read More