5376 search results - page 208 / 1076 » Scalable Kernel Systems |
132
click to vote
COMAD
2009
15 years 5 months ago
2009
Data migration is one of the key operations in many enterprise data integration projects. While there are standard and well established tools for data migration, the enterprises r...
137
click to vote
TMC
2010
15 years 2 months ago
2010
—The key feature of many emerging pervasive computing applications is to proactively provide services to mobile individuals. One major challenge in providing users with proactive...
133
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
140
Voted
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—We study scalable routing for a sensor network deployed in complicated 3D settings such as underground tunnels in gas system or water system. The nodes are in general 3D space b...
157
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...