Sciweavers

2830 search results - page 347 / 566
» A Development Tool for E-learning Applications
Sort
View
SP
2008
IEEE
138views Security Privacy» more  SP 2008»
14 years 10 months ago
A performance tuning methodology with compiler support
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
Oscar Hernandez, Barbara M. Chapman, Haoqiang Jin
TEI
2010
ACM
199views Hardware» more  TEI 2010»
15 years 5 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...
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
15 years 5 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Kriangsak Damchoom, Michael J. Butler
VL
2008
IEEE
171views Visual Languages» more  VL 2008»
15 years 5 months ago
Usability challenges for enterprise service-oriented architecture APIs
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...
Jack Beaton, Sae Young Jeong, Yingyu Xie, Jeffrey ...
ICDM
2007
IEEE
132views Data Mining» more  ICDM 2007»
15 years 5 months ago
Error-Aware Density-Based Clustering of Imprecise Measurement Values
Manufacturing process development is under constant pressure to achieve a good yield for stable processes. The development of new technologies, especially in the field of photoma...
Dirk Habich, Peter Benjamin Volk, Wolfgang Lehner,...