Sciweavers

5093 search results - page 44 / 1019
» How Real are Real Numbers
Sort
View
FM
2005
Springer
114views Formal Methods» more  FM 2005»
14 years 1 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
NIME
2004
Springer
105views Music» more  NIME 2004»
14 years 1 months ago
The Slidepipe: A Timeline-Based Controller for Real-Time Sample Manipulation
When working with sample-based media, a performer is managing timelines, loop points, sample parameters and effects parameters. The Slidepipe is a performance controller that give...
Mark Argo
NIME
2004
Springer
162views Music» more  NIME 2004»
14 years 1 months ago
The Architecture of Auracle: a Real-Time, Distributed, Collaborative Instrument
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
Chandrasekhar Ramakrishnan, Jason Freeman, Kristja...
FORMATS
2003
Springer
14 years 25 days ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
RTAS
1999
IEEE
13 years 12 months ago
The Design and Performance of a Real-Time I/O Subsystem
This paper describes the design and performance of a realtime I/O (RIO) subsystem that supports real-time applications running on off-the-shelf hardware and software. This paper p...
Fred Kuhns, Douglas C. Schmidt, David L. Levine