579 search results - page 109 / 116 » Constraint Validation in Model Compilers |
186
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
201
Voted
ADHOC
2011
2011
RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks
14 years 10 months ago
—Stringent cost and energy constraints impose the use of low-cost and low-power radio transceivers in large-scale wireless sensor networks (WSNs). This fact, together with the ha...
193
Voted
RTSS
2007
IEEE
16 years 19 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
163
Voted
SAMOS
2007
Springer
16 years 15 days ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
157
Voted
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...