#### Filter Results:

- Full text PDF available (13)

#### Publication Year

1990

2004

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Lev Finkelstein, Evgeniy Gabrilovich, +4 authors Eytan Ruppin
- ACM Trans. Inf. Syst.
- 2001

Keyword-based search engines are in widespread use today as a popular means for Web-based information retrieval. Although such systems seem deceptively simple, a considerable amount of skill is required in order to satisfy non-trivial information needs. This paper presents a new conceptual paradigm for performing search in context, that largely automates… (More)

- Aviad Cohen, Lev Finkelstein, Avi Mendelson, Ronny Ronen, Dmitry Rudoy
- IEEE Computer Architecture Letters
- 2003

In this paper we focus on dynamic thermal management(DTM) strategies that use dynamic voltage scaling (DVS)for power control. We perform a theoretical analysis targeted atestimating the optimal strategy, and show two facts: (1) whenthere is a gap between the initial and the limit temperatures,it is best to start with a high (though not necessarily… (More)

- Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilberstein
- IJCAI
- 2003

We study two apparently different, but formally similar, scheduling problems. The first problem involves contract algorithms, which can trade off run time for solution quality, as long as the amount of available run time is known in advance. The problem is to schedule contract algorithms to run on parallel processors, under the condition that an… (More)

- Daniel S. Bernstein, Theodore J. Perkins, Shlomo Zilberstein, Lev Finkelstein
- AAAI/IAAI
- 2002

Anytime algorithms offer a tradeoff between computation time and the quality of the result returned. They can be divided into two classes: contract algorithms, for which the total run time must be specified in advance, and interruptible algorithms, which can be queried at any time for a solution. An interruptible algorithm can be constructed from a contract… (More)

- Lev Finkelstein, Shaul Markovitch
- Artif. Intell.
- 2001

Monitoring anytime algorithms can significantly improve their performance. This work deals with the problem of off-line construction of monitoring schedules. We study a model where queries are submitted to the monitored process in order to detect satisfaction of a given goal predicate. The queries consume time from the monitored process, thus delaying the… (More)

The Java Native Interface (JNI) [1] provides interoperation between Java code running on a Java Virtual Machine and code written in other programming languages (e.g., C++ or assembly). The JNI is useful when existing libraries need to be integrated into Java code, or when portions of the code are implemented in other languages for improved performance. The… (More)

- Lev Finkelstein, Shaul Markovitch
- J. Artif. Intell. Res.
- 1998

(1990). The (N 2 1)-puzzle and related relocation problems. We can use the same lemmas to prove that Micro-Hillary can solve any solvable problem in O(N 3) even without learning simply by performing BFS search in each place where a macro is used in the original proof. However, instead of using 128 in the above formula, we will use 4 18 (18, the length of… (More)

- Lev Finkelstein, Shaul Markovitch, Ehud Rivlin
- J. Artif. Intell. Res.
- 2003

The performance of anytime algorithms can be improved by simultaneously solving several instances of algorithm-problem pairs. These pairs may include different instances of a problem (such as starting from a different initial state), different algorithms (if several alternatives exist), or several runs of the same algorithm (for non-deterministic… (More)

- Lev Finkelstein, Shaul Markovitch, Ehud Rivlin
- AAAI/IAAI
- 2002

The performance of anytime algorithms having a nondeterministic nature can be improved by solving simultaneously several instances of the algorithm-problem pairs. These pairs may include different instances of a problem (like starting from a different initial state), different algorithms (if several alternatives exist), or several instances of the same… (More)

- Lev Finkelstein, J-F Huang, A. C. W. Finkelstein, B . Nuseibeh
- 1992

Investigation has been undertaken into the use of software specification methods for instrument systems specification. In the first part of this paper, some of the well-known structured software specification methods are briefly evaluated against a set of criteria we established, in the context of measuring instrument systems. We then conduct a case study… (More)