Sciweavers

1850 search results - page 129 / 370
» Power and performance optimization at the system level
Sort
View
ICFP
2003
ACM
15 years 10 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
CDC
2008
IEEE
204views Control Systems» more  CDC 2008»
15 years 4 months ago
Dynamic ping optimization for surveillance in multistatic sonar buoy networks with energy constraints
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
Anshu Saksena, I-Jeng Wang
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 3 months ago
On Optimization of Reliability of Distributed Generation-Enhanced Feeders
Placement of protection devices in a conventional feeder (without distributed generation) is often performed so as to minimize traditional reliability indices (SAIDI, SAIFI, MAIFI...
Aleksandar Pregelj, Miroslav Begovic, Ajeet Rohatg...
INFOCOM
1999
IEEE
15 years 2 months ago
Design and Performance of a Web Server Accelerator
We describe the design, implementation and performance of a Web server accelerator which runs on an embedded operating system and improves Web server performance by caching data. ...
Eric Levy-Abegnoli, Arun Iyengar, Junehwa Song, Da...
WEBI
2007
Springer
15 years 4 months ago
Improving Performance of Web Services Query Matchmaking with Automated Knowledge Acquisition
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
Chaitali Gupta, Rajdeep Bhowmik, Michael R. Head, ...