Sciweavers

3167 search results - page 382 / 634
» Blog search engines
Sort
View
EUROMICRO
2000
IEEE
14 years 23 days ago
Task Assignment and Scheduling under Memory Constraints
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
Radoslaw Szymanek, Krzysztof Kuchcinski
IUI
2000
ACM
14 years 22 days ago
Enhancing information retrieval by automatic acquisition of textual relations using genetic programming
We have explored a novel method to find textual relations in electronic documents using genetic programming and semantic networks. This can be used for enhancing information retri...
Agneta Bergström, Patricija Jaksetic, Peter N...
UIST
1999
ACM
14 years 20 days ago
Using Properties for Uniform Interaction in the Presto Document System
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
Paul Dourish, W. Keith Edwards, Anthony LaMarca, M...
EUROMICRO
1998
IEEE
14 years 19 days ago
Two-Level Communication Protocol for a Web Operating System (WOS?)
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
Gilbert Babin, Peter G. Kropf, Herwig Unger
ICRE
1998
IEEE
14 years 18 days ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...