Sciweavers

244 search results - page 19 / 49
» Contracts for first-class classes
Sort
View
UML
2005
Springer
14 years 1 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»
14 years 7 days 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
14 years 4 days 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
13 years 9 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
14 years 8 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