Sciweavers

3907 search results - page 147 / 782
» Time, Knowledge, and Choice
Sort
View
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
15 years 10 months ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
ECRTS
2005
IEEE
15 years 10 months ago
A Space-Optimal Wait-Free Real-Time Synchronization Protocol
We present a wait-free protocol for the single-writer, multiple-reader problem in small-memory, embedded real-time systems. We analytically establish that our protocol requires le...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
EVOW
2003
Springer
15 years 10 months ago
MusicBlox: A Real-Time Algorithmic Composition System Incorporating a Distributed Interactive Genetic Algorithm
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
Andrew Gartland-Jones
PKDD
2001
Springer
185views Data Mining» more  PKDD 2001»
15 years 9 months ago
Temporal Rule Discovery for Time-Series Satellite Images and Integration with RDB
Feature extraction and knowledge discovery from a large amount of image data such as remote sensing images have become highly required recent years. In this study, a framework for ...
Rie Honda, Osamu Konishi
PEPM
1994
ACM
15 years 8 months ago
Binding-Time Analysis for Standard ML
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
Lars Birkedal, Morten Welinder