Sciweavers

1008 search results - page 63 / 202
» A graphic functional-dataflow language
Sort
View
161
Voted
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 1 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
127
Voted
DCC
2011
IEEE
14 years 10 months ago
Sparse Boolean equations and circuit lattices
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
Igor Semaev
125
Voted
CSUR
2004
144views more  CSUR 2004»
15 years 3 months ago
Advances in dataflow programming languages
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
Wesley M. Johnston, J. R. Paul Hanna, Richard J. M...
196
Voted
CPHYSICS
2007
437views more  CPHYSICS 2007»
15 years 3 months ago
Python: a language for computational physics
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...
P. H. Borcherds
138
Voted
VL
1999
IEEE
134views Visual Languages» more  VL 1999»
15 years 8 months ago
Ambiguity in Visual Language Theory and Its Role in Diagram Parsing
To take advantage of the ever-increasing volume of diagrams in electronic form, it is crucial that we have methods for parsing diagrams. Once a structured, content-based descripti...
Robert P. Futrelle