1942 search results - page 187 / 389 » Matroids from modules |
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
HAPTICS
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper presents two graphical authoring tools, posVibEditor and VibScoreEditor, developed for the intuitive and convenient design of vibrotactile patterns. The posVibEditor is...