495 search results - page 61 / 99 » HIDE : A Logic Based Hardware Development Environment |
ITC
2003
IEEE
14 years 1 months ago
2003
IEEE
1 This paper addresses the issue of testing and diagnosing a memory core embedded in a complex SOC. The proposed solution is based on a P1500-compliant wrapper that follows a progr...
COMPSYSTECH
2010
13 years 8 months ago
2010
: Based on the study of different coordination theories and approaches and on the previous ethnographic case studies, authors identify certain types of coordination, which they int...
ISHPC
1999
Springer
13 years 12 months ago
1999
Springer
Computer security is of growing importance in the increasingly networked computing environment.This work examines the issue of high-performance network security, specifically int...
ATVA
2004
Springer
13 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
ICESS
2005
Springer
14 years 1 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...