4693 search results - page 360 / 939 » Verifying Hybrid Systems |
196
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a heuristic algorithm that improves the performance of static task scheduling. Our algorithm is based on the list-scheduling mechanism. For the listing p...
185
click to vote
ICAPR
2005
Springer
16 years 8 days ago
2005
Springer
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...
110
click to vote
ISMIR
2004
Springer
16 years 4 days ago
2004
Springer
Demand for music databases is increasing for the studies of musicology and music informatics. Our goal is to construct databases that contain deviations of tempo, and dynamics, st...
173
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
187
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...