20 search results - page 2 / 4 » Standard Test Interface Language (STIL): A New Language for ... |
LOPSTR
2005
Springer
13 years 11 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
FDL
2005
IEEE
13 years 11 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
MTA
2007
13 years 5 months ago
2007
Interface toolkits in ordinary application areas let average programmers rapidly develop software resembling other standard applications. In contrast, toolkits for novel and perhap...
LAWEB
2009
IEEE
14 years 12 days ago
2009
IEEE
—Computer science academics and professionals typically consider their contributions in terms of the algorithms, applications, and techniques that they develop. Yet equally impor...