Sciweavers

17967 search results - page 193 / 3594
» Functional timing optimization
Sort
View
GLOBECOM
2006
IEEE
14 years 2 months ago
Deployment Time Performance Optimization of Internet Services
—This paper introduces a novel deployment time optimization technology for Internet services. Using the configuration information collected from the operation environment, the pr...
Sang Jeong Lee, Kang-Won Lee, Kyung Dong Ryu, Jong...
FMSD
2008
94views more  FMSD 2008»
13 years 8 months ago
Optimal infinite scheduling for multi-priced timed automata
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larse...
COR
2007
106views more  COR 2007»
13 years 8 months ago
Scheduling parallel CNC machines with time/cost trade-off considerations
When the processing times of jobs are controllable, selected processing times affect both the manufacturing cost and the scheduling performance.A well-known example for such a cas...
Sinan Gurel, M. Selim Akturk
VLSID
1998
IEEE
105views VLSI» more  VLSID 1998»
14 years 18 days ago
Optimizing Logic Design Using Boolean Transforms
When a Boolean function is transformed by exclusiveOR with a suitably selected transform function, the new functzon is often synthesized wzth significantly reduced hardware. `I�...
Pramit Chavda, James Jacob, Vishwani D. Agrawal
FM
1994
Springer
135views Formal Methods» more  FM 1994»
14 years 13 days ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge