Sciweavers

3381 search results - page 335 / 677
» Extending Dependencies with Conditions
Sort
View
ICSM
2002
IEEE
15 years 11 months ago
Constructing Precise Object Relation Diagrams
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
IEEEPACT
1999
IEEE
15 years 11 months ago
A Cost-Effective Clustered Architecture
In current superscalar processors, all floating-point resources are idle during the execution of integer programs. As previous works show, this problem can be alleviated if the fl...
Ramon Canal, Joan-Manuel Parcerisa, Antonio Gonz&a...
KDD
1994
ACM
115views Data Mining» more  KDD 1994»
15 years 11 months ago
Extracting Domain Semantics for Knowledge Discovery in Relational Databases
Our research investigates howdomainsemantics are discovered froma relational database at a high level of automation. Thediscoveries are then represented as the extendedEntityRelat...
Roger H. L. Chiang, Terence M. Barron, Veda C. Sto...
CAV
2006
Springer
116views Hardware» more  CAV 2006»
15 years 10 months ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
GECCO
2000
Springer
101views Optimization» more  GECCO 2000»
15 years 10 months ago
Polynomial Time Summary Statistics for Two general Classes of Functions
In previous work we showed, by Walsh analysis, that summary statistics such as mean, variance, skew, and higher order statistics can be computed in polynomial time for embedded la...
Robert B. Heckendorn