Sciweavers

2062 search results - page 221 / 413
» Hardware Objects for Java
Sort
View
EURODAC
1995
IEEE
128views VHDL» more  EURODAC 1995»
14 years 1 months ago
Closeness metrics for system-level functional partitioning
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...
Frank Vahid, Daniel D. Gajski
ISLPED
1995
ACM
125views Hardware» more  ISLPED 1995»
14 years 1 months ago
Transforming set data types to power optimal data structures
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
Sven Wuytack, Francky Catthoor, Hugo De Man
CAV
2010
Springer
159views Hardware» more  CAV 2010»
14 years 2 days ago
Gist: A Solver for Probabilistic Games
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
HOTDEP
2008
126views Hardware» more  HOTDEP 2008»
13 years 12 months ago
Toward Quantifying System Manageability
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...
George Candea
AHS
2006
IEEE
104views Hardware» more  AHS 2006»
13 years 11 months ago
Evolutionary Design of Digital Circuits: Where Are Current Limits?
The objective of this paper is to classify the approaches proposed to the evolutionary digital circuit design in the recent years and to identify the levels of complexity and inno...
Lukás Sekanina