85 search results - page 6 / 17 » State-transition machines, revisited |
123
Voted
MFCS
2010
Springer
15 years 8 days ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
82
Voted
LISP
2007
15 years 1 months ago
2007
111
click to vote
CORR
1999
Springer
15 years 1 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
91
Voted
ECML
2006
Springer
15 years 5 months ago
2006
Springer
In Nearest Rectangle (NR) learning, training instances are generalized into hyperrectangles and a query is classified according to the class of its nearest rectangle. The method ha...
104
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
— We introduce a remote activation scheme that aims to protect integrated circuits (IC) intellectual property (IP) against piracy. Remote activation enables designers to lock eac...