3006 search results - page 475 / 602 » Overview |
123
Voted
LOGCOM
2008
15 years 28 days ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
JSA
2006
15 years 28 days ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
111
Voted
ENTCS
2007
15 years 28 days ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
93
Voted
ENTCS
2007
15 years 28 days ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
108
Voted
JSW
2006
15 years 28 days ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...