Sciweavers

7189 search results - page 300 / 1438
» Connecting Design with Code
Sort
View
ICC
2007
IEEE
196views Communications» more  ICC 2007»
15 years 10 months ago
Opportunistic Network Coding for Wireless Networks
— We consider energy efficient network coding design in wireless networks with multiple unicast sessions. Our approach decomposes multiple unicast sessions into a superposition ...
Wei Chen, Khaled Ben Letaief, Zhigang Cao
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
CAV
2010
Springer
153views Hardware» more  CAV 2010»
15 years 8 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
FPL
2008
Springer
94views Hardware» more  FPL 2008»
15 years 5 months ago
Acceleration of a production rigid molecule docking code
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
Bharat Sukhwani, Martin C. Herbordt
DOA
2000
159views more  DOA 2000»
15 years 5 months ago
Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware
Smartcards can be seen as service providing entities that implement a secure, tamper-proof storage and offer computational resources which make them ideally suited for a variety o...
Roger Kehr, Michael Rohs, Harald Vogt