376 search results - page 34 / 76 » Constraint modules: An introduction |
160
click to vote
EMSOFT
2006
Springer
15 years 9 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...
148
click to vote
CLEF
2010
Springer
15 years 7 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. ...
144
click to vote
ISCI
2008
15 years 6 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...
181
click to vote
EVOW
2008
Springer
15 years 7 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...
145
click to vote
ICIP
2008
IEEE
16 years 15 days 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...