580 search results - page 26 / 116 » Dependable domestic systems design: A socio-technical approa... |
CSREAESA
2003
13 years 9 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we propose a semi-blind time domain equalizer (TEQ) design method that maximize SIR (signal-tointerference ratio) in frequency domain for VDSL systems. The proposed ...
EUMAS
2006
13 years 9 months ago
2006
This article presents a multi-agent method to tackle multidisciplinary optimisation, based on the notions of cooperation and self-regulation. It is focused on the preliminary airc...
DATE
1997
IEEE
13 years 12 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...