6308 search results - page 858 / 1262 » Modeling Urgency in Timed Systems |
190
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
200
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel cycle-approximate performance estimation technique for automatically generated transaction level models (TLMs) for heterogeneous multicore designs. The...
157
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
200
click to vote
HASKELL
2006
ACM
16 years 25 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
170
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...