1186 search results - page 102 / 238 » State machine models of timing and circuit design |
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
AC
2000
Springer
14 years 10 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
ROBOCUP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
ICML
2007
IEEE
15 years 11 months ago
2007
IEEE
The supremacy of n-gram models in statistical language modelling has recently been challenged by parametric models that use distributed representations to counteract the difficult...