6201 search results - page 1040 / 1241 » Implementation of Axiomatic Language |
157
click to vote
CW
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
156
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
154
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
159
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
160
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...