3527 search results - page 403 / 706 » Test Automation in Practice |
127
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
161
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
136
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
167
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
144
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...