Sciweavers

1916 search results - page 61 / 384
» Reconfiguring a state machine
Sort
View
IPPS
2002
IEEE
14 years 23 days ago
Automatic Reincarnation of Deceased Plug-Ins in the HARNESS Metacomputing System
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
Mauro Migliardi, Vaidy S. Sunderam
ISLPED
1998
ACM
94views Hardware» more  ISLPED 1998»
14 years 1 days ago
Theoretical bounds for switching activity analysis in finite-state machines
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
Diana Marculescu, Radu Marculescu, Massoud Pedram
ERLANG
2003
ACM
14 years 1 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
14 years 1 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
DAC
2005
ACM
13 years 9 months ago
Dynamic reconfiguration with binary translation: breaking the ILP barrier with software compatibility
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
Antonio Carlos Schneider Beck, Luigi Carro