Sciweavers

5981 search results - page 87 / 1197
» time 2006
Sort
View
ASPDAC
2006
ACM
101views Hardware» more  ASPDAC 2006»
16 years 3 days ago
Worst case execution time analysis for synthesized hardware
- We propose a hardware performance estimation flow for fast design space exploration, based on worst-case execution time analysis algorithms for software analysis. Test cases on s...
Jun-hee Yoo, Xingguang Feng, Kiyoung Choi, Eui-You...
DATE
2006
IEEE
90views Hardware» more  DATE 2006»
16 years 5 days ago
A time predictable Java processor
This paper presents a Java processor, called JOP, designed for time-predictable execution of real-time tasks. JOP is the implementation of the Java virtual machine in hardware. We...
Martin Schoeberl
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
FORMATS
2006
Springer
15 years 9 months ago
From MITL to Timed Automata
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
Oded Maler, Dejan Nickovic, Amir Pnueli
ESANN
2006
15 years 7 months ago
Selection of more than one gene at a time for cancer prediction from gene expression data
A new gene selection method capable of selecting more than one gene at a time is introduced. This characteristic contrasts it with almost all known methods assuming that there are ...
Oleg Okun, Nikolay G. Zagoruiko, Alexessander Alve...