551 search results - page 72 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
ECAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
GLOBECOM
2009
IEEE
14 years 25 days ago
2009
IEEE
Abstract--This paper presents several on-chip antenna structures that may be fabricated with standard CMOS technology for use at millimeter wave frequencies. On-chip antennas for w...
ICCAD
2005
IEEE
14 years 5 months ago
2005
IEEE
In this paper we propose a novel parameterized interconnect order reduction algorithm, CORE, to efficiently capture both inter-die and intra-die variations. CORE applies a two-ste...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...