751 search results - page 43 / 151 » Consistency techniques for interprocedural test data generat... |
109
click to vote
DAC
2008
ACM
16 years 3 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
101
click to vote
JSS
2008
14 years 9 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
107
click to vote
DGO
2007
15 years 16 days ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
139
Voted
JIPS
2010
14 years 5 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
CEC
2005
IEEE
15 years 4 months ago
2005
IEEE
An L-system or Lindenmayer system consists of a grammar and an interpreter. The grammar contains an axiom, usually a short string, that the grammar expands into a long, complex st...