7121 search results - page 466 / 1425 » Functions as Session-Typed Processes |
124
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
– In this paper we present multi-objective hMetis partitioning for simultaneous cutsize and circuit delay minimization. We change the partitioning process itself by introducing a...
173
click to vote
HOST
2009
IEEE
16 years 1 months ago
2009
IEEE
—EDA vendors have proposed a standard for the sharing of IP among vendors to be used in the design and development of IP for FPGAs. Although, we do not propose any attacks, we sh...
170
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
162
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
191
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...