Sciweavers

20655 search results - page 51 / 4131
» Exploring Software Systems
Sort
View
JUCS
2008
182views more  JUCS 2008»
13 years 10 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
ECBS
2011
IEEE
274views Hardware» more  ECBS 2011»
12 years 9 months ago
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
Florian Mutter, Stefanie Gareis, Bernhard Schä...
ICCAD
2001
IEEE
184views Hardware» more  ICCAD 2001»
14 years 6 months ago
CALiBeR: A Software Pipelining Algorithm for Clustered Embedded VLIW Processors
In this paper we describe a software pipelining framework, CALiBeR (Cluster Aware Load Balancing Retiming Algorithm), suitable for compilers targeting clustered embedded VLIW proc...
Cagdas Akturan, Margarida F. Jacome
ACMSE
2009
ACM
14 years 1 months ago
Educational software packages for the One Laptop Per Child (OLPC) XO laptop
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
Michael Keating
ECOOPW
2007
Springer
14 years 4 months ago
Model-Driven Software Adaptation
This first edition of the workshop Model-driven Software Adaptation (M-ADAPT’07) took place in the Technische Universit¨at Berlin with the International Conference ECOOP’07 i...
Nelly Bencomo, Gordon S. Blair, Robert B. France