8099 search results - page 306 / 1620 » Higher-Order Task Models |
154
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
158
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
The development of efficient parallel out-of-core applications is often tedious, because of the need to explicitly manage the movement of data between files and data structures ...
156
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 6 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
190
click to vote
ISMIR
2005
Springer
16 years 4 days ago
2005
Springer
Music information retrieval is characterized by a number of various user information needs. Systems are being developed that allow searchers to find melodies, rhythms, genres, an...
156
click to vote
SACMAT
2004
ACM
16 years 2 days ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...