Sciweavers

17967 search results - page 193 / 3594
» Functional timing optimization
Sort
View
92
Voted
GLOBECOM
2006
IEEE
15 years 8 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»
15 years 2 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»
15 years 2 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»
15 years 6 months 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»
15 years 6 months 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