933 search results - page 159 / 187 » Multi-paradigm Declarative Languages |
119
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
127
Voted
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
MoBIoS is a specialized database management system whose storage manager is based on metric-space indexing, and whose query language entails biological data types. When relational...
133
Voted
ADC
2003
Springer
15 years 9 months ago
2003
Springer
The mining of informative rules calls for methods that include different attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...
151
Voted
HIPC
2003
Springer
15 years 9 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
118
Voted
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
While distributed, heterogeneous collections of computers (“Grids”) can in principle be used as a computing platform, in practice the problems of first discovering and then co...