17298 search results - page 186 / 3460 » Abstract computing machines |
151
Voted
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
142
Voted
JAR
2006
15 years 3 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
133
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
114
click to vote
ANOR
2002
15 years 3 months ago
2002
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
125
click to vote
IWANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a comparison between direct and recursive prediction strategies. In order to perform the input selection, an approach based on mutual information is u...