Sciweavers

1723 search results - page 165 / 345
» Generalized file system dependencies
Sort
View
ATAL
2003
Springer
15 years 8 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt
137
Voted
ECRTS
2010
IEEE
15 years 5 months ago
Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments
For many control systems, control performance is strongly dependent on delay variations of the control tasks. Such variations can come from a number of sources including task preem...
Shengyan Hong, Xiaobo Sharon Hu, Michael D. Lemmon
DAC
2006
ACM
15 years 10 months ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
AOSD
2007
ACM
15 years 8 months ago
Tribe: a simple virtual class calculus
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
Dave Clarke, Sophia Drossopoulou, James Noble, Tob...
EAAI
2007
135views more  EAAI 2007»
15 years 4 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...