Sciweavers

1586 search results - page 89 / 318
» Integrated Network Experimentation using Simulation and Emul...
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
15 years 4 months ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco
ICC
2007
IEEE
198views Communications» more  ICC 2007»
15 years 4 months ago
On Control Plane for Service Provisioning in Light-trail WDM Optical Ring Networks
: A light-trail is a generalized lightpath that enables multiple nodes to statistically share an optical communication path (wavelength bus). A light-trail is different from a ligh...
Ashwin Gumaste, Janak Chandarana, Paresh Bafna, Na...
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
15 years 4 months ago
Reuse-based test access and integrated test scheduling for network-on-chip
In this paper, we propose a new method for test access and test scheduling in NoC-based system. It relies on a progressive reuse of the network resources for transporting test dat...
Chunsheng Liu, Zach Link, Dhiraj K. Pradhan
GECCO
2004
Springer
15 years 3 months ago
Program Evolution by Integrating EDP and GP
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
Kohsuke Yanai, Hitoshi Iba