Sciweavers

4820 search results - page 640 / 964
» Implementing Signatures for C
Sort
View
NOSSDAV
2005
Springer
16 years 4 days ago
Hierarchical disk sharing for multimedia systems
Systems that use or serve multimedia data require timely access to data on hard drives. To ensure adequate performance users must either prevent overload of disk resources, or use...
Joel C. Wu, Scott A. Banachowski, Scott A. Brandt
NOSSDAV
2005
Springer
16 years 4 days ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
NOSSDAV
2005
Springer
16 years 4 days ago
ACE: an active, client-directed method for reducing energy during web browsing
In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a device is to transit...
Haijin Yan, David K. Lowenthal, Kang Li
OOPSLA
2005
Springer
16 years 4 days ago
Io: a small programming language
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
Steve Dekorte
160
Voted
VMCAI
2005
Springer
16 years 3 days ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard