3799 search results - page 677 / 760 » An Engineering Approach to Formal Methods |
161
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
126
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Given the fast growing technological progress in microelectronics and wireless communication devices, in the near future, it is foreseeable that Wireless Sensor Networks (WSN) wil...
123
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
146
click to vote
HOTI
2005
IEEE
15 years 10 months ago
2005
IEEE
— Operators need routers to provide service guarantees such as guaranteed flow rates and fairness among flows, so as to support real-time traffic and traffic engineering. How...
139
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...