31387 search results - page 31 / 6278 » Abstracting abstract machines |
TNN
2008
13 years 9 months ago
2008
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
NADA
1998
Springer
14 years 2 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
ICAI
2004
13 years 11 months ago
2004
on of Abstracts, the University of Georgia, Athens 2003.
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
FDL
2005
IEEE
14 years 3 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...