2062 search results - page 232 / 413 » Hardware Objects for Java |
Publication
Supercomputers and clouds both strive to make a large number of
computing cores available for computation. More recently, similar objectives such as low-power, manageability at sc...
SMI
2005
IEEE
14 years 3 months ago
2005
IEEE
Point-based surfaces (i.e. surfaces represented by discrete point sets which are either directly obtained by current 3D acquisition devices or converted from other surface represe...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
: Synchronous finite state machines are very important for digital sequential designs. Among other important aspects, they represent a powerful way for synchronizing hardware comp...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...