6530 search results - page 1071 / 1306 » Application Integration |
144
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
142
Voted
DASFAA
2009
IEEE
15 years 8 months ago
2009
IEEE
Wireless Multimedia Sensor Networks (WMSNs) have brought unprecedented potentials for applications requiring ubiquitous access to multimedia contents such as still images. However,...
117
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
143
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
130
click to vote
GPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithm...