2805 search results - page 332 / 561 » Software, architecture, and participatory design |
219
click to vote
JSAT
2010
15 years 1 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
187
click to vote
NORDICHI
2004
ACM
16 years 1 days ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
235
click to vote
PARELEC
2006
IEEE
16 years 19 days ago
2006
IEEE
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...
145
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
174
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
Sparse matrices are first class objects in many VHLLs (very high level languages) used for scientific computing. They are a basic building block for various numerical and combinat...