Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,091,211 papers from all fields of science
Search
Sign In
Create Free Account
Advanced Configuration and Power Interface
Known as:
AML
, Quick Resume
, ASL (disambiguation)
Expand
In computing, the Advanced Configuration and Power Interface (ACPI) specification provides an open standard that operating systems can use to perform…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
32-bit
Advanced Programmable Interrupt Controller
Apollo VP3
BIOS
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
How to Handle CPU Bound Systems: A Spezialization of Dynamic Performance Stubs to CPU Stubs
Peter Trapp
,
Christian Facchi
Int. CMG Conference
2008
Corpus ID: 3033728
Dynamic performance stubs provide a framework for the simulation of the performance behavior of software modules and functions…
Expand
2003
2003
Energy consumption models for ad-hoc mobile terminals
E. Lochin
,
Anne Fladenmuller
,
Jean-Yves Moulin
,
S. Fdida
2003
Corpus ID: 69446101
This paper describes a set of experiments based on ACPI BIOS measurements which evaluate the energy consumption of an IEEE802.11…
Expand
2003
2003
Electronic Spectrum of the Gallium Dimer
Xiao-Feng Tan
,
P. Dagdigian
2003
Corpus ID: 14013163
A study of the electronic spectrum of the gallium dimer in the 33 600-36 800 cm - 1 spectral range is presented. The dimer was…
Expand
2002
2002
Distributed automata in an assumption-commitment framework
S. Mohalik
,
R. Ramanujam
2002
Corpus ID: 120474372
We propose a class of finite state systems of synchronizing distributed processes, where processes make assumptions at local…
Expand
1999
1999
Improving Viterbi Bayesian predictive classi ® cation via sequential bayesian learning in robust speech recognition 1
Hui Jiang
,
Keikichi Hirose
,
Qiang Huo
1999
Corpus ID: 267872802
In this paper, we extend our proposed Viterbi Bayesian predictive classi®cation (VBPC) algorithm to a new class of prior…
Expand
Review
1999
Review
1999
A Nitpick Analysis of Mobile IPv6
D. Jackson
,
Yu-Chung Ng
,
Jeannette M. Wing
Formal Aspects of Computing
1999
Corpus ID: 2524036
Abstract. A lightweight formal method enables partial specification and automatic analysis by sacrificing breadth of coverage and…
Expand
1997
1997
Using Snapshot Streams to Support Visual Exploration
Delbert Hart
,
Eileen T. Kraemer
,
Gruia-Catalin Roman
1997
Corpus ID: 8136020
The non-determinism, complexity, and size of distributed software systems present significant difficulties for designers and…
Expand
Review
1996
Review
1996
Partial Order Veriication with Pep
Marienburger Platz
1996
Corpus ID: 17956183
This paper describes the current status of the veriication testbed PEP (Programming Environment based on Petri Nets) from a…
Expand
1988
1988
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence
F. de Cindio
,
G. De Michelis
,
L. Pomello
,
C. Simone
Concurrency
1988
Corpus ID: 27686708
Most of the equivalence notions for concurrent systems proposed in recent years are defined in terms of sequences (posets) of…
Expand
1980
1980
Nonlocal pseudopotential calculation of the electronic properties of relaxed GaAs (110) surface
A. Zunger
1980
Corpus ID: 115141961
The electronic structure of a semiconductor surface is studied for the first time using self-consistent nonlocal (first…
Expand