243 search results - page 32 / 49 » Concolic testing for functional languages |
DAC
2002
ACM
15 years 10 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...
59
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—We introduce a new data set which contains both a self-declared friendship network and self-chosen attributes from a finite list defined by the social networking site. We prop...
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
IFIP
2005
Springer
15 years 3 months ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
HCI
2007
14 years 11 months ago
2007
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...