Sciweavers

9974 search results - page 353 / 1995
» Software Interconnection Models
Sort
View
ASM
2000
ASM
15 years 11 months 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 ...
DT
2006
180views more  DT 2006»
15 years 6 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
FOSSACS
2007
Springer
16 years 26 days ago
Model-Checking One-Clock Priced Timed Automata
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...
LCPC
2007
Springer
16 years 25 days ago
Capsules: Expressing Composable Computations in a Parallel Programming Model
Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...
SCOPES
2007
Springer
16 years 24 days ago
Modelling run-time arbitration by latency-rate servers in dataflow graphs
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit