Sciweavers

3565 search results - page 360 / 713
» Modeling a system controller for timing analysis
Sort
View
191
Voted
PERVASIVE
2011
Springer
14 years 7 months ago
NextPlace: A Spatio-temporal Prediction Framework for Pervasive Systems
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
Salvatore Scellato, Mirco Musolesi, Cecilia Mascol...
TJS
2002
94views more  TJS 2002»
15 years 4 months ago
A Fully Implicit Parallel Ocean Model Using MUMPS
The formulation, implementation and performance of a new fully implicit parallel model of the ocean circulation is presented. Within this model, steady states can be traced in one ...
Jos de Kloe, Aad J. van der Steen, Hakan Öks&...
ECRTS
2010
IEEE
15 years 5 months ago
Making DRAM Refresh Predictable
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
Balasubramanya Bhat, Frank Mueller
ICST
2009
IEEE
15 years 2 months ago
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
Jens Nodler, Helmut Neukirchen, Jens Grabowski
EMS
2009
IEEE
15 years 11 months ago
Modelling Periodic Data Dissemination in Wireless Sensor Networks
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...
Graham Williamson, Davide Cellai, Simon A. Dobson,...