Sciweavers

1056 search results - page 47 / 212
» Identifying and Exploiting Ultrametricity
Sort
View
MICRO
1994
IEEE
113views Hardware» more  MICRO 1994»
13 years 11 months ago
Static branch frequency and program profile analysis
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
Youfeng Wu, James R. Larus
PARLE
1993
13 years 11 months ago
Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...
Jerome Robinson, Shutian Lin
ECAI
2006
Springer
13 years 11 months ago
Benefits of Combinatorial Auctions with Transformability Relationships
In this paper we explore whether an auctioneer/buyer may benefit from introducing his transformability relationships (some goods can be transformed into others at a transformation ...
Andrea Giovannucci, Jesús Cerquides, Juan A...
KR
2000
Springer
13 years 11 months ago
Satisfiability Algorithms and Finite Quantification
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
Matthew L. Ginsberg, Andrew J. Parkes
ISSS
1995
IEEE
59views Hardware» more  ISSS 1995»
13 years 11 months ago
Multiple-process behavioral synthesis for mixed hardware-software systems
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
Jay K. Adams, Donald E. Thomas