5707 search results - page 1095 / 1142 » Symbolic Simulation - Techniques and Applications |
ICSE
2003
IEEE-ACM
14 years 3 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
HAPTICS
2002
IEEE
14 years 3 months ago
2002
IEEE
We have developed a multi-modal virtual environment set-up by fusing visual and haptic images through the use of a new autostereoscopic display and a force-feedback haptic device....
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
In the recent years, there has been a growing interest in broadband satellite networks. Broadband satellite networks are designed to provide the required qualify of service (QoS) ...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
Simultaneous Multithreading (SMT) processors achieve high processor throughput at the expense of single-thread performance. This paper investigates resource allocation policies fo...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
—The majority of the existing ad hoc wireless network routing protocols has a tendency to use the shortest single path from the source to the destination. However, in constantly ...