1835 search results - page 54 / 367 » Functional Programming of Behavior-Based Systems |
116
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
106
click to vote
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
139
click to vote
CLUSTER
2005
IEEE
15 years 6 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
141
Voted
DB
2008
15 years 27 days ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
123
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...