1481 search results - page 220 / 297 » Software controlled power management |
103
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
102
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
160
click to vote
IHIS
2005
ACM
15 years 7 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
110
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
108
click to vote
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...