Sciweavers

1166 search results - page 122 / 234
» Programming Language Support for Adaptable Wearable Computin...
Sort
View
OOPSLA
2005
Springer
15 years 8 months ago
Parametric polymorphism for software component architectures
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
Cosmin E. Oancea, Stephen M. Watt
PADL
2009
Springer
16 years 3 months ago
Declarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
Christof Kluß, Michael Hanus
SAC
2010
ACM
15 years 2 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
110
Voted
VLSID
1999
IEEE
99views VLSI» more  VLSID 1999»
15 years 6 months ago
Array Index Allocation under Register Constraints in DSP Programs
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...
Anupam Basu, Rainer Leupers, Peter Marwedel
114
Voted
IMCSIT
2010
15 years 14 days ago
Exploratory Programming in the Virtual Laboratory
GridSpace 2 is a novel virtual laboratory framework enabling researchers to conduct virtual experiments on Gridbased resources and other HPC infrastructures. GridSpace 2 facilitate...
Eryk Ciepiela, Daniel Harezlak, Joanna Kocot, Toma...