2550 search results - page 484 / 510 » The Meaning of Open Standards |
CODES
2003
IEEE
14 years 21 days ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
INFOCOM
2003
IEEE
14 years 20 days ago
2003
IEEE
— The aim of this paper is to simulate the interaction of a large number of TCP controlled flows and UDP flows sharing many routers/links, from the knowledge of the network par...
MOBICOM
2003
ACM
14 years 19 days ago
2003
ACM
Reducing the energy consumption by wireless communication devices is perhaps the most important issue in the widely-deployed and exponentially-growing IEEE 802.11 Wireless LANs (W...
PLDI
2003
ACM
14 years 19 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
BIRTHDAY
2003
Springer
14 years 19 days ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...