Sciweavers

1781 search results - page 293 / 357
» Visualizing program execution using user abstractions
Sort
View
AINA
2006
IEEE
14 years 2 months ago
Home Appliance Translator for Remote Control of Conventional Home Appliance
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...
Hiroshi Kuriyama, Hiroshi Mineno, Tadanori Mizuno,...
INFOCOM
2011
IEEE
13 years 8 days ago
Strategyproof auctions for balancing social welfare and fairness in secondary spectrum markets
Abstract—Secondary spectrum access is emerging as a promising approach for mitigating the spectrum scarcity in wireless networks. Coordinated spectrum access for secondary users ...
Ajay Gopinathan, Zongpeng Li, Chuan Wu
FM
2008
Springer
77views Formal Methods» more  FM 2008»
13 years 10 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
LCPC
2004
Springer
14 years 2 months ago
Empirical Performance-Model Driven Data Layout Optimization
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Ge...
EUROGP
2009
Springer
143views Optimization» more  EUROGP 2009»
13 years 6 months ago
A Real-Time Evolutionary Object Recognition System
We have created a real-time evolutionary object recognition system. Genetic Programming is used to automatically search the space of possible computer vision programs guided throug...
Marc Ebner