8179 search results - page 370 / 1636 » The PRACTIONIST Development Tool |
198
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
172
click to vote
TOOLS
2010
IEEE
15 years 4 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
166
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework ...
165
click to vote
ICWL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paper describes a complex e-learning experiment that has involved over 700 students that attended the Human-Computer Interaction course at the "Politehnica"...
180
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...