2957 search results - page 390 / 592 » Code analysis and CS-XML |
139
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
153
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
150
click to vote
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
147
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Exception handling mechanisms are intended to support the development of robust software. However, the implementation of such mechanisms with aspectoriented (AO) programming might ...
154
click to vote
HIS
2007
15 years 6 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...