2268 search results - page 311 / 454 » The Essence of Form Abstraction |
137
Voted
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
131
click to vote
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
110
click to vote
ICCSA
2007
Springer
15 years 5 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
128
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--Large-scale attacks like Distributed Denial-ofService (DDoS) attacks still pose unpredictable threats to the Internet infrastructure and Internet-based business. Thus, ma...
134
click to vote
ANNPR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decom...