Sciweavers

166 search results - page 10 / 34
» Network Programming for the Rest of Us
Sort
View
AGI
2008
13 years 9 months ago
Language Processing in Human Brain
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...
Alexander Borzenko
SIAMJO
2010
87views more  SIAMJO 2010»
13 years 2 months ago
Universal Rigidity and Edge Sparsification for Sensor Network Localization
Owing to their high accuracy and ease of formulation, there has been great interest in applying convex optimization techniques, particularly that of semidefinite programming (SDP)...
Zhisu Zhu, Anthony Man-Cho So, Yinyu Ye
CDC
2008
IEEE
167views Control Systems» more  CDC 2008»
13 years 9 months ago
Convex formulations of aggregate network air traffic flow optimization problems
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
Daniel B. Work, Alexandre M. Bayen
PERCOM
2005
ACM
14 years 7 months ago
Experiences with MundoCore
Pervasive Computing environments require new communication and programming paradigms. In this paper we present our experiences from the implementation of MundoCore, a pervasive co...
Erwin Aitenbichler, Jussi Kangasharju, Max Mü...
CACM
2010
113views more  CACM 2010»
13 years 7 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken