360 search results - page 34 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
104
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Global flooding and expanding ring search are two commonly used methods in search for an interested object in multi-hop wireless networks. While global flooding is simple, it...
134
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
108
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
160
Voted
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
113
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...