2607 search results - page 265 / 522 » Complete Functional Synthesis |
145
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
141
Voted
SOFSEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...
144
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
128
Voted
MTDT
2000
IEEE
15 years 9 months ago
2000
IEEE
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
119
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper addresses the one-to-all broadcasting problem, and the one-to-many broadcasting problem, usually simply called broadcasting and multicasting, respectively. Inthispaper,...