Sciweavers

1658 search results - page 46 / 332
» Implementing Bit-addressing with Specialization
Sort
View
ESOP
1994
Springer
14 years 23 days ago
Compilation of Head and Strong Reduction
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
Pascal Fradet
RTDB
1996
82views more  RTDB 1996»
13 years 10 months ago
Lock-Free Transactions for Real-Time Systems
We show that previous algorithmic and scheduling work concerning the use of lock-free objects in hard real-timesystems can be extended to support real-time transactions on memory-...
James H. Anderson, Srikanth Ramamurthy, Mark Moir,...
DPD
2000
93views more  DPD 2000»
13 years 8 months ago
Ontological Approach for Information Discovery in Internet Databases
The Internet has solved the age-old problem of network connectivity and thus enabling the potential access to, and data sharing among large numbers of databases. However, enabling ...
Mourad Ouzzani, Boualem Benatallah, Athman Bouguet...
CORR
1998
Springer
107views Education» more  CORR 1998»
13 years 8 months ago
Computing Declarative Prosodic Morphology
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
Markus Walther
KAIS
2002
120views more  KAIS 2002»
13 years 8 months ago
Agents in E-Commerce: State of the Art
Abstract. This paper surveys the state of the art of agent-mediated electronic commerce (ecommerce), especially in business-to-consumer (B2C) e-commerce and business-to-business (B...
Minghua He, Ho-fung Leung