1016 search results - page 178 / 204 » Test Generation for Designs with On-Chip Clock Generators |
DATAMINE
2006
13 years 8 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
WWW
2008
ACM
13 years 8 months ago
2008
ACM
This paper proposes a general framework of for a system with a semantic browsing and visualization interface called Knowledge Communication, Collaboration and Creation Browser (KC...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
BELL
2000
13 years 8 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
CLUSTER
2002
IEEE
13 years 8 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...