5972 search results - page 948 / 1195 » Extending Design Environments to Software Architecture Desig... |
211
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
157
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
165
click to vote
AVI
2008
15 years 9 months ago
2008
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...
192
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
220
click to vote
WOTUG
2008
15 years 8 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...