1934 search results - page 157 / 387 » Application specific NoC design |
185
click to vote
IV
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents the first prototype of an interactive visualisation framework specifically designed for presenting geographical information in both indoor and outdoor environm...
172
click to vote
RISE
2005
Springer
15 years 12 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
177
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
165
click to vote
DSML
2008
15 years 7 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...