Sciweavers

2631 search results - page 343 / 527
» Software Development with Code Maps
Sort
View
ISPA
2007
Springer
15 years 9 months ago
Parallelization Strategies for the Points of Interests Algorithm on the Cell Processor
The Cell processor is a typical example of a heterogeneous multiprocessor-on-chip architecture that uses several levels of parallelism to deliver high performance. Closing the gap ...
Tarik Saidani, Lionel Lacassagne, Samir Bouaziz, T...
137
Voted
EMSOFT
2005
Springer
15 years 8 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
ISER
2004
Springer
108views Robotics» more  ISER 2004»
15 years 8 months ago
The SDR Experience: Experiments with a Large-Scale Heterogeneous Mobile Robot Team
This paper reports on experiments conducted as part of the DARPA SDR (Software for Distributed Robotics) program. The core challenge for this program is to develop a system capable...
Andrew Howard, Lynne E. Parker, Gaurav S. Sukhatme
ETRICS
2006
15 years 6 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
DELOS
2000
15 years 4 months ago
Challenging Ubiquitous Inverted Files
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
Arjen P. de Vries