This paper presents a JAVA based framework for RTL modeling and simulation of digital hardware designs. After linking between object-oriented concepts and RTL models, the JAVA analogy to features found in a widely used hardware description language like Verilog is…

In this work a statics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of statics. The applets have the advantage…

I propose a technique that identifies program properties that may indicate errors. The technique generates machine learning models of run-time program properties known to expose faults, and applies these models to program properties of user-written code to classify and rank…

The emergence of industry standards often has disruptive impacts on the behavior of markets. It can drive commoditization, substitution and convergence. It also changes the industry structure creating new business models and value chains, coupled with the entrance of new…