10458 search results - page 44 / 2092 » Modeling Features at Runtime |
111
click to vote
CASES
2006
ACM
15 years 6 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
113
click to vote
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...
113
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
154
click to vote
ICS
1994
Tsinghua U.
15 years 6 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
140
click to vote
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...