Sciweavers

1645 search results - page 82 / 329
» Early Evaluation of Design Options for Distributed Systems
Sort
View
IPM
2000
81views more  IPM 2000»
15 years 3 months ago
The Sixth Text REtrieval Conference (TREC-6)
The Text REtrieval Conference is a workshop series designed to encourage research on text retrieval for realistic applications by providing large test collections, uniform scoring...
Ellen M. Voorhees
153
Voted
SDL
2003
158views Hardware» more  SDL 2003»
15 years 5 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
HPDC
2008
IEEE
15 years 10 months ago
Issues in applying data mining to grid job failure detection and diagnosis
As grid computation systems become larger and more complex, manually diagnosing failures in jobs becomes impractical. Recently, machine-learning techniques have been proposed to d...
Lakshmikant Shrinivas, Jeffrey F. Naughton
DAC
1998
ACM
16 years 5 months ago
WELD - An Environment for Web-based Electronic Design
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
Francis L. Chan, Mark D. Spiller, A. Richard Newto...
ICCAD
2009
IEEE
135views Hardware» more  ICCAD 2009»
15 years 1 months ago
Enhanced reliability-aware power management through shared recovery technique
While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for real-time embedded applications, recent research has identified significant and negative i...
Baoxian Zhao, Hakan Aydin, Dakai Zhu