456 search results - page 18 / 92 » The Logical Execution Time Paradigm |
FUIN
2007
13 years 8 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
PLDI
1990
ACM
14 years 26 days ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
ILP
2003
Springer
14 years 2 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
DFT
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper presents a concurrent error detection technique for the control logic of a modern microprocessor. Our method is based on execution time prediction for each instruction ...
DATE
2006
IEEE
14 years 15 days ago
2006
IEEE
The advent of multi-core embedded processors has brought along new challenges for embedded system design. This paper presents an efficient, battery aware, code partitioning techni...