5838 search results - page 750 / 1168 » A File System for System Programming in Ubiquitous Computing |
130
click to vote
IEEEPACT
2007
IEEE
16 years 22 days ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
173
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
206
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
188
Voted
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
102
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...