7892 search results - page 85 / 1579 » Programming with Models |
104
click to vote
POPL
2009
ACM
15 years 8 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
121
click to vote
VL
2006
IEEE
15 years 7 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
SOFTVIS
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
107
Voted
CCE
2004
15 years 1 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...