3864 search results - page 324 / 773 » time 2005 |
172
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
162
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
178
click to vote
METRICS
2005
IEEE
16 years 9 days ago
2005
IEEE
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
204
click to vote
MMM
2005
Springer
16 years 9 days ago
2005
Springer
For some time now, image retrieval approaches have been developed that use low-level features, such as colour histograms, edge distributions and texture measures. What has been la...
155
click to vote
MOBIQUITOUS
2005
IEEE
16 years 9 days ago
2005
IEEE
We propose a platform for health monitoring using wireless sensor networks. Our platform is a new architecture called CustoMed that will reduce the customization and reconfigurat...