1781 search results - page 65 / 357 » Visualizing program execution using user abstractions |
116
Voted
USENIX
1993
15 years 3 months ago
1993
Wafe provides a flexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...
94
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
147
Voted
FAC
2007
15 years 2 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
111
Voted
MAM
2006
15 years 2 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...