15253 search results - page 2630 / 3051 » Integer-Programming Software Systems |
161
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
144
click to vote
POPL
2010
ACM
15 years 3 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
123
click to vote
PTS
2010
15 years 3 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
134
Voted
SIMPAR
2010
15 years 3 months ago
2010
Abstract. Existing legged robots lack energy-efficiency, performance and adaptivity when confronted with situations that animals cope with on a routine basis. Bridging the gap bet...
153
click to vote
VIROLOGY
2010
15 years 3 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...