Sciweavers

1422 search results - page 28 / 285
» Test Generation Algorithms Based on Preorder Relations
Sort
View
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
SIGMOD
1991
ACM
110views Database» more  SIGMOD 1991»
15 years 1 months ago
Updating Relational Databases through Object-Based Views
The view-object model provides a formal basis for representing and manipulating object-based views on relational databases. In this paper, we present a scheme for handling update ...
Thierry Barsalou, Arthur M. Keller, Niki Siambela,...
DAC
2003
ACM
15 years 10 months ago
A TBR-based trajectory piecewise-linear algorithm for generating accurate low-order models for nonlinear analog circuits and MEM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
Dmitry Vasilyev, Michal Rewienski, Jacob White
VLDB
2004
ACM
97views Database» more  VLDB 2004»
15 years 3 months ago
CHICAGO: A Test and Evaluation Environment for Coarse-Grained Optimization
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
Tobias Kraft, Holger Schwarz
ISSTA
2006
ACM
15 years 3 months ago
Integrating customized test requirements with traditional requirements in web application testing
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lor...