376 search results - page 34 / 76 » Constraint modules: An introduction |
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
CLEF
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Our participation at ResPubliQA 2010 was based on applying an Information Retrieval (IR) engine of high performance and a validation step for removing incorrect answers. ...
ISCI
2008
13 years 10 months ago
2008
The recent evolution of wireless sensor networks have yielded a demand to improve energy-efficient scheduling algorithms and energy-efficient medium access protocols. This paper p...
EVOW
2008
Springer
13 years 11 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
Texture modeling and separation of structure in images are treated in synergy. A variational image decomposition scheme is formulated using explicit texture reconstruction constra...