Sciweavers

1008 search results - page 125 / 202
» A graphic functional-dataflow language
Sort
View
APSEC
1997
IEEE
15 years 2 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
CADUI
2006
14 years 11 months ago
A Generic Approach For Multi-Device User Interface Rendering With Uiml
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
Kris Luyten, Kristof Thys, Jo Vermeulen, Karin Con...
CPHYSICS
2007
88views more  CPHYSICS 2007»
14 years 9 months ago
Programming physics softwares in Flash
We discuss various aspects of programming physics education software in Adobe Flash. Since the authoring environment for Flash is initially developed for non-programmers, it is ea...
Koo-Chul Lee, Julian Lee
KCAP
2011
ACM
14 years 21 days ago
Integrating knowledge capture and supervised learning through a human-computer interface
Some supervised-learning algorithms can make effective use of domain knowledge in addition to the input-output pairs commonly used in machine learning. However, formulating this a...
Trevor Walker, Gautam Kunapuli, Noah Larsen, David...
PLDI
2011
ACM
14 years 20 days ago
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
Ashwin Prasad, Jayvant Anantpur, R. Govindarajan