2133 search results - page 159 / 427 » Implementation of a SystemC based Environment |
ISCAS
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
ETS
2000
IEEE
13 years 10 months ago
2000
IEEE
The purpose of this article is to illustrate the concept of the NetAcademy for the design and implementation of online learning communities as collaborative learning environments....
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper presents a method for camera pose tracking that uses a partial knowledge about the scene. The method is based on monocular vision Simultaneous Localization And Mapping ...
DSVIS
2003
Springer
14 years 3 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
ACSC
2000
IEEE
14 years 2 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...