3718 search results - page 428 / 744 » Programming by Integration in Robotics |
350
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
190
click to vote
KBSE
2005
IEEE
16 years 26 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
342
click to vote
Book
"This is the most comprehensive and up-to-date book about integrating XML with Java. It contains over 1000 pages of detailed information on SAX, DOM, JDOM, JAXP, TrAX, XPath, ...
167
click to vote
VTS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
207
click to vote
DATE
2005
IEEE
16 years 27 days ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...