Sciweavers

1655 search results - page 159 / 331
» Visual tool for generative programming
Sort
View
CSIE
2009
IEEE
14 years 4 months ago
Integration of a Concept Map Generator and a Knowledge-Portal-Based E-learning System
Knowledge management (KM) is the research field aimed to create, organize, and store explicit knowledge for easy access and manipulation, whereas e-learning is concerned with del...
Jyh-Da Wei, Tai-Yu Chen, Tsai-Yeh Tung, D. T. Lee
IPPS
2006
IEEE
14 years 3 months ago
The monitoring request interface (MRI)
In this paper we present MRI, a high level interface for selective monitoring of code regions and data structures in single and multiprocessor environments. MRI keeps transparent ...
Edmond Kereku, Michael Gerndt
TEI
2010
ACM
199views Hardware» more  TEI 2010»
14 years 4 months ago
Revealing the invisible: visualizing the location and event flow of distributed physical devices
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
Nicolai Marquardt, Tom Gross, M. Sheelagh T. Carpe...
CAV
2009
Springer
209views Hardware» more  CAV 2009»
14 years 10 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
VL
1995
IEEE
176views Visual Languages» more  VL 1995»
14 years 1 months ago
The Visual Language of Experts in Graphic Design
Graphic designers and other visual problem solving experts now routinely use computer-based imageediting tools in their work. Recently, attempts have been made to apply learning a...
Henry Lieberman