Sciweavers

5241 search results - page 170 / 1049
» Embedded Programming with C
Sort
View
89
Voted
FPL
2004
Springer
95views Hardware» more  FPL 2004»
15 years 6 months ago
Solving SAT with a Context-Switching Virtual Clause Pipeline and an FPGA Embedded Processor
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
C. J. Tavares, C. Bungardean, G. M. Matos, Jos&eac...
95
Voted
CIKM
2008
Springer
15 years 2 months ago
A SQL database system for solving constraints
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
Sebastien Siva, Lesi Wang
102
Voted
APPROX
2010
Springer
189views Algorithms» more  APPROX 2010»
15 years 24 days ago
Approximating Sparsest Cut in Graphs of Bounded Treewidth
We give the first constant-factor approximation algorithm for Sparsest-Cut with general demands in bounded treewidth graphs. In contrast to previous algorithms, which rely on the f...
Eden Chlamtac, Robert Krauthgamer, Prasad Raghaven...
SIGMETRICS
2006
ACM
114views Hardware» more  SIGMETRICS 2006»
15 years 6 months ago
On suitability of Euclidean embedding of internet hosts
In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using the classic...
Sanghwan Lee, Zhi-Li Zhang, Sambit Sahu, Debanjan ...
EUROSYS
2007
ACM
15 years 9 months ago
Concierge: a service platform for resource-constrained devices
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...
Jan S. Rellermeyer, Gustavo Alonso