21437 search results - page 4086 / 4288 » Hardware |
165
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
155
click to vote
ECMDAFA
2007
Springer
16 years 21 days ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
201
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
176
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
168
click to vote
EUROCAST
2007
Springer
16 years 21 days ago
2007
Springer
Abstract a paradigm of modern Machine Learning (ML) which uses rewards and punishments to guide the learning process. One of the central ideas of RL is learning by “direct-online...