387 search results - page 50 / 78 » Reducing the Costs of Bounded-Exhaustive Testing |
HICSS
1998
IEEE
13 years 12 months ago
1998
IEEE
In recent years, electric utility industry in the whole world has been facing pressure to be deregulated or restructured in order to increase its efficiency, to reduce operational...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
ICMLA
2008
13 years 9 months ago
2008
Dimension reduction techniques have been successfully applied to face recognition and text information retrieval. The process can be time-consuming when the data set is large. Thi...
WCE
2007
13 years 8 months ago
2007
— New friction material formulations are compared with a commercial brake friction material used in Light Rail Transit (LRT) operating in Malaysia. Characterization techniques su...