Latest White Papers

Showing results 1 to 5 of 5

silicon.com > White Papers > Software and Web Development > Software Development Tools

Distributed, Multi-Threaded Verification of Java Programs

Distributed, Multi-Threaded Verification of Java Programs

Extended Static Checking (ESC) is a fully automated formal verification technique and is generally quite efficient, as f Read more

Jan 16, 2009

silicon.com > White Papers > Desktops, Laptops and OS > Components

A SystemC Transaction Level Model for the MIPS R3000 Processor

A SystemC Transaction Level Model for the MIPS R3000 Processor

Processor cores in embedded applications build today the cornerstone of System-on-Chip designs. Among the most successfu Read more

Nov 26, 2008

silicon.com > White Papers > Data Management > Data Tools

Automated Data Acquisition and Planning of Highway Construction

Automated Data Acquisition and Planning of Highway Construction

This paper briefly describes a model, designed to automate data acquisition and analysis for planning and scheduling hig Read more

Oct 7, 2008

silicon.com > White Papers > Networking and Communications > Network Management

A Two-Stage Plug-in Bandwidth Selection and Its Implementation for Covariance Estimation

A Two-Stage Plug-in Bandwidth Selection and Its Implementation for Covariance Estimation

The two most popular bandwidth choice rules for kernel HAC estimation have been proposed by Andrews (1991) and Newey and Read more

Jul 11, 2008

silicon.com > White Papers

A Fuzzy Hybrid Collaborative Filtering Technique for Web Personalization

A Fuzzy Hybrid Collaborative Filtering Technique for Web Personalization

Collaborative filtering (CF) is a popular technique used in web personalization for building recommender systems, which Read more

Dec 16, 2005