Sciweavers

2607 search results - page 404 / 522
» Complete Functional Synthesis
Sort
View
RTSS
2005
IEEE
15 years 8 months ago
Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
Xiliang Zhong, Cheng-Zhong Xu
WISE
2005
Springer
15 years 8 months ago
Decomposition-Based Optimization of Reload Strategies in the World Wide Web
Web sites, Web pages and the data on pages are available only for specific periods of time and are deleted afterwards from a client’s point of view. An important task in order t...
Dirk Kukulenz
SC
2005
ACM
15 years 8 months ago
Alternative Software Stacks for OGSA-based Grids
: The Open Grid Services Architecture (OGSA) has been a major step forward for Grid Computing, but its de facto reliance on the Web Services Resource Framework (WSRF) and WSNotific...
Marty A. Humphrey, Glenn S. Wasson, Yuliyan Kiryak...
CSCWD
2005
Springer
15 years 8 months ago
A Web services based platform for exchange of procedural CAD models
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
Xiang Chen, Min Li, Shuming Gao
FROCOS
2005
Springer
15 years 8 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev