Sciweavers

4836 search results - page 624 / 968
» Exploring the Similarity Space
Sort
View
219
Voted
ICTAC
2005
Springer
16 years 1 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
200
Voted
SEMWEB
2005
Springer
16 years 1 months ago
Bootstrapping Ontology Alignment Methods with APFEL
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...
Marc Ehrig, Steffen Staab, York Sure
174
Voted
ISLPED
2004
ACM
122views Hardware» more  ISLPED 2004»
16 years 1 months ago
Microarchitectural techniques for power gating of execution units
Leakage power is a major concern in current and future microprocessor designs. In this paper, we explore the potential of architectural techniques to reduce leakage through power-...
Zhigang Hu, Alper Buyuktosunoglu, Viji Srinivasan,...
213
Voted
HIPC
2004
Springer
16 years 1 months ago
Lock-Free Parallel Algorithms: An Experimental Study
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
Guojing Cong, David A. Bader
199
Voted
JELIA
2004
Springer
16 years 1 months ago
Logic Programs with Functions and Default Values
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
Pedro Cabalar, David Lorenzo