Sciweavers

1890 search results - page 125 / 378
» Model-Based Testing in Practice
Sort
View
OPODIS
2007
15 years 7 months ago
Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks
This report describes a necessary and sufficient test for the schedulability of a set of sporadic harddeadline tasks on a multiprocessor platform, using any of a variety of schedu...
Theodore P. Baker, Michele Cirinei
CCCG
2003
15 years 7 months ago
Computing Delaunay Triangulation with Imprecise Input Data
The key step in the construction of the Delaunay triangulation of a finite set of planar points is to establish correctly whether a given point of this set is inside or outside t...
Ali Asghar Khanban, Abbas Edalat
PAMI
2006
114views more  PAMI 2006»
15 years 6 months ago
Nonparametric Supervised Learning by Linear Interpolation with Maximum Entropy
Nonparametric neighborhood methods for learning entail estimation of class conditional probabilities based on relative frequencies of samples that are "near-neighbors" of...
Maya R. Gupta, Robert M. Gray, Richard A. Olshen
DAC
2003
ACM
16 years 7 months ago
A scalable software-based self-test methodology for programmable processors
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...
Li Chen, Srivaths Ravi, Anand Raghunathan, Sujit D...
XPU
2009
Springer
16 years 28 days ago
A Survey on Industrial Software Engineering
In this paper, we present on-going work on data collected by a questionnaire surveying process practices, preferences, and methods in industrial software engineering. Key words: Ag...
Adnan Causevic, Iva Krasteva, Rikard Land, Abdulka...