Sciweavers

244 search results - page 19 / 49
» Contracts for first-class classes
Sort
View
UML
2005
Springer
15 years 3 months ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
ICC
2000
IEEE
147views Communications» more  ICC 2000»
15 years 2 months ago
Average Power Reduction Techniques for Multiple-Subcarrier Intensity-Modulated Optical Signals
Abstract—We describe two classes of simple, effective techniques for reducing the average optical power requirement in intensity-modulated optical systems using multiple BPSK or ...
Roy You, Joseph M. Kahn
ECRTS
1999
IEEE
15 years 2 months ago
Performance of algorithms for scheduling real-time systems with overrun and overload
This paper compares the performance of three classes of scheduling algorithms for real-time systems in which jobs may overrun their allocated processor time potentially causing th...
Mark K. Gardner, Jane W.-S. Liu
AAAI
2006
14 years 11 months ago
Decision Tree Methods for Finding Reusable MDP Homomorphisms
straction is a useful tool for agents interacting with environments. Good state abstractions are compact, reuseable, and easy to learn from sample data. This paper and extends two...
Alicia P. Wolfe, Andrew G. Barto
OSDI
2006
ACM
15 years 10 months ago
EnsemBlue: Integrating Distributed Storage and Consumer Electronics
EnsemBlue is a distributed file system for personal multimedia that incorporates both general-purpose computers and consumer electronic devices (CEDs). EnsemBlue leverages the cap...
Daniel Peek, Jason Flinn