5376 search results - page 180 / 1076 » Scalable Kernel Systems |
200
click to vote
IWQOS
2011
Springer
14 years 7 months ago
2011
Springer
—Quality-of-service (QoS) management often requires a continuous monitoring service to provide updated information about different hosts and network links in the managed system. ...
165
click to vote
ICPP
2006
IEEE
15 years 10 months ago
2006
IEEE
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
156
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
161
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
TeleScribe is a software mechanism for efficiently reprogramming embedded systems such as wireless sensor nodes over a shared communication link. One distinguishing feature is its...
136
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...