Sciweavers

881 search results - page 130 / 177
» Specification and Design Considerations for Reliable Embedde...
Sort
View
SIGUCCS
2003
ACM
15 years 3 months ago
Higher education ERP: a framework to reduce the pain
Higher Education Institutions are now spending a significant portion of their budget to implement and maintain modern Enterprise Resource Planning (ERP) solutions. ERP is a softwa...
Kris T. Pegah, Mahmoud Pegah, Terry M. Dillow
ICCD
2006
IEEE
171views Hardware» more  ICCD 2006»
15 years 6 months ago
Stochastic Dynamic Thermal Management: A Markovian Decision-based Approach
This paper proposes a stochastic dynamic thermal management (DTM) technique in high-performance VLSI system with especial attention to the uncertainty in temperature observation. ...
Hwisung Jung, Massoud Pedram
SEFM
2005
IEEE
15 years 3 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
IASTEDSE
2004
14 years 11 months ago
A conceptual model for requirements engineering and management for change-intensive software
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
Jewgenij Botaschanjan, Andreas Fleischmann, Markus...
OSDI
2008
ACM
15 years 10 months ago
Disk Drive Workload Captured in Logs Collected During the Field Return Incoming Test
Hard disk drives returned back to Seagate undergo the Field Return Incoming Test. During the test, the available logs in disk drives are collected, if possible. These logs contain...
Alma Riska, Erik Riedel