7189 search results - page 509 / 1438 » Connecting Design with Code |
169
click to vote
DSD
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
195
click to vote
JMLR
2012
13 years 9 months ago
2012
NIMFA is an open-source Python library that provides a unified interface to nonnegative matrix factorization algorithms. It includes implementations of state-of-the-art factoriza...
154
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We have developed the first hardware and software (intellectual property) metering scheme that enables reliable low overhead proofs for the number of manufactured parts a...
154
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a simple and novel structure representation supporting the assembly and disassembly planning of electromechanical products. The proposed Relationship Matrix de...
199
click to vote
ESCIENCE
2005
IEEE
16 years 9 days ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a set of hierarchical components to design Network Enabled Server (NES) systems. In these systems, clients ask to agents (dis...