20655 search results - page 3868 / 4131 » Exploring Software Systems |
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
143
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Multicore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power pr...
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
151
Voted
WISE
2006
Springer
15 years 8 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
107
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
Wireless headsets are a great asset to Vision Impaired Persons (VIP’s) as they prove to be much easier to use and reliable than wired equivalents. Radio based wireless headsets ...