Sciweavers

1008 search results - page 63 / 202
» A graphic functional-dataflow language
Sort
View
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 7 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...
DCC
2011
IEEE
14 years 4 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
CSUR
2004
144views more  CSUR 2004»
14 years 9 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...
CPHYSICS
2007
437views more  CPHYSICS 2007»
14 years 9 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
VL
1999
IEEE
134views Visual Languages» more  VL 1999»
15 years 2 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