Sciweavers

6308 search results - page 290 / 1262
» Modeling Urgency in Timed Systems
Sort
View
ISMIR
2005
Springer
145views Music» more  ISMIR 2005»
16 years 3 days ago
An Investigation of Feature Models for Music Genre Classification Using the Support Vector Classifier
In music genre classification the decision time is typically of the order of several seconds, however, most automatic music genre classification systems focus on short time feat...
Anders Meng, John Shawe-Taylor
WADS
2001
Springer
182views Algorithms» more  WADS 2001»
15 years 11 months ago
On the Complexity of Scheduling Conditional Real-Time Code
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
Samarjit Chakraborty, Thomas Erlebach, Lothar Thie...
CODES
2003
IEEE
15 years 12 months ago
Virtual synchronization technique with OS modeling for fast and time-accurate cosimulation
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
Youngmin Yi, Dohyung Kim, Soonhoi Ha
ERSHOV
2006
Springer
15 years 10 months ago
Information-Flow Attacks Based on Limited Observations
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
Damas P. Gruska
ECRTS
2007
IEEE
16 years 29 days ago
A Delay Composition Theorem for Real-Time Pipelines
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
Praveen Jayachandran, Tarek F. Abdelzaher