Sciweavers

3312 search results - page 278 / 663
» A Systemic Plan of Technology Integration
Sort
View
RTAS
2008
IEEE
16 years 1 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
ICALT
2007
IEEE
16 years 29 days ago
Towards a Unified Learning Style Model in Adaptive Educational Systems
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
Elvira Popescu, Philippe Trigano, Costin Badica
CCGRID
2005
IEEE
16 years 7 days ago
Scaling NFSv4 with parallel file systems
Large grid installations require global access to massive data stores. Parallel file systems give high throughput within a LAN, but cross-site data transfers lack seamless integra...
Dean Hildebrand, Peter Honeyman
GECCO
2010
Springer
157views Optimization» more  GECCO 2010»
15 years 10 months ago
Speeding up the evaluation of evolutionary learning systems using GPGPUs
In this paper we introduce a method for computing fitness in evolutionary learning systems based on NVIDIA’s massive parallel technology using the CUDA library. Both the match ...
María A. Franco, Natalio Krasnogor, Jaume B...
BXML
2003
15 years 8 months ago
VoiceXML in a Real Automatic Meteorological Information System
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...
Luis Villarejo, Javier Hernando, Núria Cast...