1451 search results - page 182 / 291 » Case Studies in Model Manipulation for Scientific Computing |
158
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
173
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Cascadia is a system that provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw...
274
click to vote
CIE
2011
Springer
14 years 6 months ago
2011
Springer
Automatic classes are classes of languages for which a finite automaton can decide whether a given element is in a set given by its index. The present work studies the learnabilit...
170
click to vote
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
183
click to vote
AAAI
2006
15 years 7 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...