Sciweavers

923 search results - page 90 / 185
» Factorizing Languages
Sort
View
DOCENG
2009
ACM
15 years 6 months ago
Creation and maintenance of multi-structured documents
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
Pierre-Edouard Portier, Sylvie Calabretto
DATE
2008
IEEE
100views Hardware» more  DATE 2008»
15 years 6 months ago
A Mapping Framework for Guided Design Space Exploration of Heterogeneous MP-SoCs
When designing heterogeneous MP-SoCs designers have to take into account various objectives such as power, die size, flexibility, performance or programmability. But to be able t...
Bastian Ristau, Torsten Limberg, Gerhard Fettweis
CC
2007
Springer
118views System Software» more  CC 2007»
15 years 6 months ago
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
Sigmund Cherem, Radu Rugina
IFIP
2007
Springer
15 years 6 months ago
Coordinating the Service Process of Two Business Units towards a Joint Customer
The paper presents a new theoretical framework for coordinating an inter-unit collaborative service process towards a joint customer. The common service process is itself presente...
Rita Lavikka, Riitta Smeds, Miia Jaatinen, Emmi Va...
ITICSE
2006
ACM
15 years 5 months ago
One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
Giovanni M. Bianco, Simonetta Tinazzi