3864 search results - page 694 / 773 » time 2005 |
138
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
103
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
127
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
167
Voted
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
Unique and challenging security problems arise due to the scarcity of computational, storage, and power resources in the low-cost pervasive computing environment. Particularly rel...
124
Voted
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
Energy efficiency has become a critical issue for battery-driven computers. Significant work has been devoted to improving it through better software and hardware. However, the hu...