1399 search results - page 229 / 280 » Verification of Test Suites |
CIG
2005
IEEE
14 years 4 months ago
2005
IEEE
Poker poses cognitive challenges like those of warfare, business and other real world domains. This makes poker a good test bed for basic research on how people make Command and Co...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
— State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated due to global source of variations and path r...
ICSM
2005
IEEE
14 years 4 months ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
IV
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper examines the Human Computer Interaction issue of learnability of interactive coordinated-view visualizations. We take the case of DataMaps, a Census data visualization ...
ADAEUROPE
2005
Springer
14 years 4 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...