Sciweavers

75 search results - page 2 / 15
» Test-Case Calculation through Abstraction
Sort
View
JASIS
2007
125views more  JASIS 2007»
13 years 5 months ago
Approximate personal name-matching through finite-state graphs
cience Abstracts and Science Citation Index Expanded databases. The evaluation involved calculating the measures of precision and recall, based on completeness and accuracy. The re...
Carmen Galvez, Félix de Moya Anegón
HASE
2002
IEEE
13 years 10 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
WCRE
2010
IEEE
13 years 4 months ago
Immediacy through Interactivity: Online Analysis of Run-time Behavior
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
Michael Perscheid, Bastian Steinert, Robert Hirsch...
ISQED
2011
IEEE
240views Hardware» more  ISQED 2011»
12 years 8 months ago
Fast optimization of nano-CMOS mixed-signal circuits through accurate metamodeling
—Design optimization methodologies for AMS-SoCs with analog, digital, and mixed-signal portions have not received significant attention, due to their high complexity. In mixed-s...
Oleg Garitselov, Saraju P. Mohanty, Elias Kougiano...
HPCN
1995
Springer
13 years 9 months ago
Parallel performance evaluation through critical path analysis
Abstract. In this paper we discuss the concept of space-time diagrams as a representation of the execution of an application, and then give a method, based on critical path analysi...
Benno J. Overeinder, Peter M. A. Sloot