4196 search results - page 116 / 840 » Supporting the development of network programs |
138
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
119
Voted
JCC
2011
14 years 10 months ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
168
click to vote
AC
2007
Springer
15 years 3 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...
125
Voted
LISP
2002
15 years 3 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
115
click to vote
DCOSS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...