Sciweavers

1848 search results - page 42 / 370
» A Question Answering System for the Operation of Software Ap...
Sort
View
ARCS
2004
Springer
14 years 1 months ago
Operating Systems for FPGA Based Computers and Their Memory
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
Klaus Danne
DATE
2004
IEEE
141views Hardware» more  DATE 2004»
13 years 11 months ago
Operating System Support for Interface Virtualisation of Reconfigurable Coprocessors
Reconfigurable Systems-on-Chip (SoC) consist of large Field-Programmable Gate-Arrays (FPGAs) and standard processors. The reconfigurable logic can be used for application-specific...
Miljan Vuletic, Ludovic Righetti, Laura Pozzi, Pao...
ASM
2000
ASM
14 years 2 days ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
ICSE
2010
IEEE-ACM
13 years 9 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
APSEC
1997
IEEE
13 years 12 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu