542 search results - page 15 / 109 » SystemJ: A GALS language for system level design |
DSD
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
DKE
2006
13 years 7 months ago
2006
KDDML (KDD Markup Language) is a middleware language and system designed to support the development of final applications or higher level systems which deploy a mixture of data acc...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...