2881 search results - page 214 / 577 » Model Checking for Programming Languages using Verisoft |
151
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
178
click to vote
CEFP
2005
Springer
15 years 12 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
184
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
161
click to vote
FORTE
2008
15 years 7 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
162
click to vote
AMS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...