193 search results - page 39 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
VTC
2007
IEEE
14 years 5 days ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
GLVLSI
2005
IEEE
13 years 11 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
VLDB
2002
ACM
13 years 5 months ago
2002
ACM
While standardization efforts for XML query languages have been progressing, researchers and users increasingly focus on the database technology that has to deliver on the new cha...