2805 search results - page 332 / 561 » Software, architecture, and participatory design |
239
click to vote
JSAT
2010
15 years 2 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 ...
220
click to vote
NORDICHI
2004
ACM
16 years 21 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...
265
click to vote
PARELEC
2006
IEEE
16 years 1 months 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...
168
click to vote
EMSOFT
2005
Springer
16 years 25 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...
199
click to vote
AC
2008
Springer
15 years 7 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...