Search Sciweavers | Sciweavers

18

ASM
2005
ASM

113views Computational Biology» more ASM 2005»

14 years 1 months ago

Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...

Ana Paiva, Nikolai Tillmann, João C. P. Far...

claim paper

Read More »

29

click to vote

MEMOCODE
2003
IEEE

157views Formal Methods» more MEMOCODE 2003»

Bridging CSP and C++ with Selective Formalism and Executable Specifications

14 years 22 days ago

Download www.uoguelph.ca

CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...

William B. Gardner

claim paper

Read More »

23

click to vote

ISORC
1998
IEEE

132views Distributed And Parallel Com...» more ISORC 1998»

Compositional Specification and Structured Verification of Hybrid Systems in cTLA

13 years 11 months ago

Download www.item.ntnu.no

Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...

Peter Herrmann, Günter Graw, Heiko Krumm

claim paper

Read More »

30

click to vote

DAC
2007
ACM

153views Computer Architecture» more DAC 2007»

Designer-Controlled Generation of Parallel and Flexible Heterogeneous MPSoC Specification

14 years 8 months ago

Download www.cecs.uci.edu

Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...

Pramod Chandraiah, Rainer Dömer

claim paper

Read More »

16

click to vote

ASPDAC
2004
ACM

70views Hardware» more ASPDAC 2004»

Object-oriented modeling and synthesis of SystemC specifications

14 years 27 days ago

Download cadal.cse.nsysu.edu.tw

C. Schulz-Key, Markus Winterholer, Thomas Schweize...

claim paper