Sciweavers

5096 search results - page 613 / 1020
» Associations as a Language Construct
Sort
View
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
16 years 6 days ago
Exploring the barrier to entry: incremental generational garbage collection for Haskell
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
TSD
2004
Springer
16 years 5 days ago
A New Multi-modal Database for Developing Speech Recognition Systems for an Assistive Technology Application
In this paper we report on the acquisition and content of a new database intended for developing audio-visual speech recognition systems. This database supports a speaker dependen...
António Moura, Diamantino Freitas, Vitor Pe...
APSEC
2003
IEEE
16 years 4 days ago
Ensuring Compatible Interactions within Component-based Software Systems
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
Jun Han, Ksze Kae Ker
CSFW
2003
IEEE
16 years 4 days ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
ICSM
2003
IEEE
16 years 4 days ago
Mining Design Patterns from C++ Source Code
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
Zsolt Balanyi, Rudolf Ferenc