352 search results - page 42 / 71 » The Latent Relation Mapping Engine: Algorithm and Experiment... |
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
86
Voted
ISPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in DFG represents a coarse grain block such as FIR and...
FORTE
2008
14 years 11 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
170
click to vote
CODES
2011
IEEE
13 years 9 months ago
2011
IEEE
The trend towards many-core systems comes with various issues, among them their highly dynamic and non-predictable workloads. Hence, new paradigms for managing resources of many-c...