1022 search results - page 51 / 205 » Specification of Dynamics for Knowledge-Based Systems |
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In spite of the wide use of the Internet, it is difficult to develop desirable web documents evaluation that reflects users’ needs. Many automatic ranking systems have ...
ICCAD
1998
IEEE
14 years 1 days ago
1998
IEEE
Field programmable gate arrays (FPGAs) are commonly used in embedded systems. Although it is possible to reconfigure some FPGAs while an embedded system is operational, this featu...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Given a set of real-time tasks scheduled using the earliest deadline first (EDF) algorithm, we discuss two techniques for reducing power consumption while meeting all timing requi...