3457 search results - page 133 / 692 » A Symbol Is Not a Symbol |
99
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
123
Voted
SOFSEM
2007
Springer
15 years 7 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
120
click to vote
ICMI
2005
Springer
15 years 6 months ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...
101
Voted
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
119
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...