20126 search results - page 3797 / 4026 » Timed Transition Systems |
148
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
As the importance of multimedia applications in hand-held devices increases, the computational strain and corresponding demand for energy in such devices continues to grow. Portab...
119
Voted
PPOPP
2010
ACM
15 years 5 months ago
2010
ACM
Helper locks allow programs with large parallel critical sections, called parallel regions, to execute more efficiently by enlisting processors that might otherwise be waiting on ...
147
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
115
Voted
IMC
2007
ACM
15 years 5 months ago
2007
ACM
A wide range of transmit power control (TPC) algorithms have been proposed in recent literature to reduce interference and increase capacity in 802.11 wireless networks. However, ...
136
Voted
ISLPED
2007
ACM
15 years 5 months ago
2007
ACM
RTL power macromodeling is a mature research topic with a variety of equation and table-based approaches. Despite its maturity, macromodeling is not yet widely accepted as an indu...