Sciweavers

1766 search results - page 128 / 354
» Developing Applications With Objective Caml
Sort
View
HOTOS
1999
IEEE
15 years 7 months ago
The Case for Higher-Level Power Management
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
Carla Schlatter Ellis
129
Voted
APSEC
1997
IEEE
15 years 7 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
149
Voted
ICPP
1995
IEEE
15 years 7 months ago
Progress: A Toolkit for Interactive Program Steering
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
Jeffrey S. Vetter, Karsten Schwan
139
Voted
WWW
2006
ACM
16 years 4 months ago
Model-based version and configuration management for a web engineering lifecycle
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
Tien Nhut Nguyen
121
Voted
ITNG
2006
IEEE
15 years 9 months ago
Evaluating Parallel Computing Systems in Bioinformatics
The utilization of parallel processing in bioinformatics is a relatively new development, and wide spread use of parallel processing in this domain has been limited by the availab...
Erik S. Gough, Michael D. Kane