Sciweavers

15636 search results - page 228 / 3128
» Modelling by supersaturated designs
Sort
View
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 5 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
PERVASIVE
2011
Springer
14 years 9 months ago
Hybrid Prototyping by Using Virtual and Miniature Simulation for Designing Spatial Interactive Information Systems
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
Yasuto Nakanishi, Koji Sekiguchi, Takuro Ohmori, S...
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
16 years 1 months ago
A real-time application design methodology for MPSoCs
This paper presents a novel technique for the modeling, simulation, and analysis of real-time applications on MultiProcessor Systems-on-Chip (MPSoCs). This technique is based on a...
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
INFOCOM
2009
IEEE
16 years 1 months ago
On the Impact of Heterogeneity and Back-End Scheduling in Load Balancing Designs
—Load balancing is a common approach for task assignment in distributed architectures. In this paper, we show that the degree of inefficiency in load balancing designs is highly...
Ho-Lin Chen, Jason R. Marden, Adam Wierman
MOBIQUITOUS
2007
IEEE
16 years 27 days ago
Design and Evaluation of a Hybrid Physical Space Service for Pervasive Computing Applications
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
Nancy Miller, Peter Steenkiste