1007 search results - page 136 / 202 » Performance based design of high-level language-directed com... |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
VieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and perfo...
MOBISYS
2011
ACM
14 years 25 days ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...
DAC
2010
ACM
15 years 1 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...