21 search results - page 4 / 5 » Compilation and Equivalence of Imperative Objects |
IWSOC
2003
IEEE
15 years 2 months ago
2003
IEEE
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...
UIST
1996
ACM
15 years 1 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
IJCAI
2003
14 years 11 months ago
2003
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
107
click to vote
OSDI
2008
ACM
14 years 12 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
94
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...