Sciweavers

46 search results - page 1 / 10
» Scheduling and memory requirements analysis with AADL
Sort
View
SIGADA
2005
Springer
13 years 10 months ago
Scheduling and memory requirements analysis with AADL
Frank Singhoff, Jérôme Legrand, Laure...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
13 years 11 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
RTSS
2007
IEEE
13 years 11 months ago
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
Vibha Prasad, Ting Yan, Praveen Jayachandran, Zeng...
PLDI
2012
ACM
11 years 7 months ago
Sound and precise analysis of parallel programs through schedule specialization
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfen...
JSSPP
2000
Springer
13 years 8 months ago
Time-Sharing Parallel Jobs in the Presence of Multiple Resource Requirements
Abstract. Buffered coscheduling is a new methodology that can substantially increase resource utilization, improve response time, and simplify the development of the run-time suppo...
Fabrizio Petrini, Wu-chun Feng