1321 search results - page 93 / 265 » Logic Simulation Using Networks of State Machines |
228
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
140
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
129
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...
148
click to vote
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
In wireless sensor networks with many-to-one transmission mode, a multi-objective TDMA (Time Division Multiple Access) scheduling model is presented, which concerns about the packe...
241
click to vote
ARTCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...