Sciweavers

3702 search results - page 518 / 741
» Reducing Misclassification Costs
Sort
View
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
ATAL
2006
Springer
15 years 10 months ago
Competing sellers in online markets: reserve prices, shill bidding, and auction fees
In this paper, we consider competition between sellers offering similar items in concurrent online auctions, where each seller must set its individual auction parameters (such as ...
Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, N...
ATAL
2006
Springer
15 years 10 months ago
Performance evaluation of open-source multiagent platforms
Nowadays, most multiagent platforms are internally designed as middleware and are usually implemented in Java and run on top of an operating system. This kind of design maximizes ...
Luis Mulet, Jose M. Such, Juan M. Alberola
DAC
2004
ACM
15 years 10 months ago
Probabilistic regression suites for functional verification
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
Shai Fine, Shmuel Ur, Avi Ziv
DASFAA
2004
IEEE
169views Database» more  DASFAA 2004»
15 years 10 months ago
Statistic Driven Acceleration of Object-Relational Space-Partitioning Index Structures
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...