Sciweavers

3735 search results - page 534 / 747
» Order compression schemes
Sort
View
ICCAD
1997
IEEE
86views Hardware» more  ICCAD 1997»
15 years 9 months ago
Micro-preemption synthesis: an enabling mechanism for multi-task VLSI systems
- Task preemption is a critical enabling mechanism in multi-task VLSI systems. On preemption, data in the register les must be preserved in order for the task to be resumed. This e...
Kyosun Kim, Ramesh Karri, Miodrag Potkonjak
LICS
1997
IEEE
15 years 9 months ago
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
Martín Hötzel Escardó, Thomas S...
ICTAI
1996
IEEE
15 years 9 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok
ISCNZ
1996
IEEE
15 years 9 months ago
Tabular application development
The purpose of this paper is to introduce the use of an object-oriented methodology called TAD in the field of business process reengineering. TAD methodology consists of six phas...
Talib Damij
CHI
1994
ACM
15 years 9 months ago
Repeat and predict: two keys to efficient text editing
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
Toshiyuki Masui, Ken Nakayama