130 search results - page 15 / 26 » A Case Study of IR-Drop in Structured At-Speed Testing |
GECCO
2011
Springer
13 years 2 months ago
2011
Springer
Computing unique input-output sequences (UIOs) from finite state machines (FSMs) is important for conformance testing in software engineering, where evolutionary algorithms (EAs)...
BMCBI
2006
13 years 10 months ago
2006
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...
CORR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
SBMF
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
In this contribution, we study companies engaging in B2C-E-Commerce and their ability to manage the relationship with their customers. We refer to this as companies’ ECCRM-capab...